: Class AstateList

Overview

Package

Class

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: INNER | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

absynt
Class AstateList

java.lang.Object
  |
  +--absynt.Absyn
        |
        +--absynt.AstateList

Eine Liste von Zustaenden (init oder nicht)

Fields inherited from class absynt.Absyn

location

Constructor Summary
`AstateList(Astate s, AstateList sl)`

Methods inherited from class java.lang.Object

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

Field Detail

public Astate head

public AstateList next

Constructor Detail

public AstateList(Astate s,
                  AstateList sl)

Method Detail

public boolean hasMoreElements()

public java.lang.Object nextElement()