|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectplatypus.Counter
public class Counter
Generic integer counter.
| Field Summary | |
|---|---|
private int |
counter
|
(package private) GID |
gid
|
private int |
lineNumber
|
| Constructor Summary | |
|---|---|
Counter()
|
|
| Method Summary | |
|---|---|
java.lang.String |
dump()
|
int |
get()
|
int |
getLineNumber()
|
void |
increment()
|
void |
set(int newValue)
|
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
|---|
private int counter
private int lineNumber
GID gid
| Constructor Detail |
|---|
Counter()
| Method Detail |
|---|
public void increment()
public void set(int newValue)
public int get()
public int getLineNumber()
public java.lang.String dump()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||