org.jmlspecs.jml4.fspv.theory.ast
Class Theory

java.lang.Object
  org.jmlspecs.jml4.fspv.theory.ast.TheoryNode
      org.jmlspecs.jml4.fspv.theory.ast.Theory

public class Theory
extends TheoryNode

Field Summary

TheoryFieldDeclaration[]	fields
TheoryMethodDeclaration[]	methods

Fields inherited from class org.jmlspecs.jml4.fspv.theory.ast.TheoryNode

base, enclosingTheory

Constructor Summary

Theory(ASTNode base)

Method Summary

TheoryFieldDeclaration[]	getInstancefields()
java.lang.String	getName()
void	traverse(TheoryVisitor visitor)

Methods inherited from class org.jmlspecs.jml4.fspv.theory.ast.TheoryNode

toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

fields

public TheoryFieldDeclaration[] fields

methods

public TheoryMethodDeclaration[] methods

Constructor Detail

Theory

public Theory(ASTNode base)

Method Detail

getName

public java.lang.String getName()

getInstancefields

public TheoryFieldDeclaration[] getInstancefields()

traverse

public void traverse(TheoryVisitor visitor)

Specified by:

traverse in class TheoryNode