|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectkodkod.ast.Decls
public class Decls
A sequence of declarations.
size > 0 |
children = declarations[int] |
size: int |
declarations: [0..size) -> one Decl |
Method Summary | ||
---|---|---|
|
accept(ReturnVisitor<E,F,D,I> visitor)
Accepts the given visitor and returns the result. |
|
void |
accept(VoidVisitor visitor)
Accepts the given visitor. |
|
Decls |
and(Decls decls)
Returns a sequence of this.size + decls.size declarations that has these declarations as the prefix and the given declarations as the suffix. |
|
java.util.List<Decl> |
declarations()
Returns an unmodifiable List view of this declaration sequence |
|
java.util.Iterator<Decl> |
iterator()
Returns an unmodifiable iterator over the declarations in this Decls object. |
|
int |
size()
Returns the number of declarations in this Decls object. |
|
java.lang.String |
toString()
Returns the string representation of these decls. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Method Detail |
---|
public java.util.List<Decl> declarations()
public int size()
public java.util.Iterator<Decl> iterator()
iterator
in interface java.lang.Iterable<Decl>
public final Decls and(Decls decls)
java.lang.NullPointerException
- - decl = nullpublic <E,F,D,I> D accept(ReturnVisitor<E,F,D,I> visitor)
accept
in interface Node
Node.accept(kodkod.ast.visitor.ReturnVisitor)
public void accept(VoidVisitor visitor)
accept
in interface Node
Node.accept(kodkod.ast.visitor.VoidVisitor)
public java.lang.String toString()
toString
in class java.lang.Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |