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

java.lang.Object
  org.jmlspecs.jml4.fspv.theory.ast.TheoryNode
      org.jmlspecs.jml4.fspv.theory.ast.TheoryStatement
          org.jmlspecs.jml4.fspv.theory.ast.TheorySkipStatement

public class TheorySkipStatement
extends TheoryStatement

Field Summary

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

base, enclosingTheory

Constructor Summary

TheorySkipStatement(ASTNode base, Theory theory)

Method Summary

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

Constructor Detail

TheorySkipStatement

public TheorySkipStatement(ASTNode base,
                           Theory theory)

Method Detail

traverse

public void traverse(TheoryVisitor visitor)

Specified by:

traverse in class TheoryNode