public final class TheoryDeclaration extends CompilationUnitBase
imports, pname
annotation, name
Modifier and Type | Method and Description |
---|---|
void |
accept(ASTVisitor visitor)
Accept visitor for a visit.
|
void |
accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
acceptChildren(ASTVisitor visitor)
Accept visitor for a visit to the children of this node.
|
static TheoryDeclaration |
construct(Name pname,
Import[] imports,
Identifier name,
Name[] theories,
Declaration[] decls)
Construct a theory declaration
|
static TheoryDeclaration |
construct(Name pname,
java.util.Vector<Import> imports,
Identifier name,
java.util.Vector<Name> theories,
java.util.Vector<Declaration> decls)
Construct a theory.
|
Declaration[] |
getDeclarations()
Get declarations introduced in unit.
|
Name[] |
getTheories()
Get theories on which unit depends.
|
getImports, getPackage
getAnnotation, getName, setAnnotation
getPosition, setPosition
accept, accept, print, printCore, toString, toStringCore
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
getName
getPosition, setPosition
getAnnotation, setAnnotation
print, printCore, toString, toStringCore
public static TheoryDeclaration construct(Name pname, java.util.Vector<Import> imports, Identifier name, java.util.Vector<Name> theories, java.util.Vector<Declaration> decls)
pname
- package name (may be null)imports
- import statementsname
- theory identifiertheories
- the names of the theories on which this theory depends
(may be null)decls
- sequence of declarationspublic static TheoryDeclaration construct(Name pname, Import[] imports, Identifier name, Name[] theories, Declaration[] decls)
pname
- package name (may be null)imports
- import statementsname
- theory identifiertheories
- the names of the theories on which this theory dependsdecls
- sequence of declarationspublic Declaration[] getDeclarations()
public Name[] getTheories()
public void accept(ASTVisitorOld visitor)
accept
in interface AST
accept
in class CompilationUnitBase
visitor
- the visitor who is accepted by this node.public void accept(ASTVisitor visitor)
accept
in interface AST
accept
in class CompilationUnitBase
visitor
- the visitor who is accepted by this node.public void acceptChildren(ASTVisitor visitor)
acceptChildren
in interface AST
acceptChildren
in class CompilationUnitBase
visitor
- the visitor who is accepted by the children of this node.