Package mini_python

Class Ident

java.lang.Object

mini_python.Ident

class Ident
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final String	id
(package private) final Location	loc

Constructor Summary

Constructors

Constructor	Description
Ident(String id)
Ident(String id, Location loc)

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

id

final String id

loc

final Location loc

Constructor Details

Ident

Ident(String id)

Ident

Ident(String id,
 Location loc)