org.jmlspecs.jml4.fspv.theory
Class TheoryUnaryExpression

java.lang.Object
  org.jmlspecs.jml4.fspv.theory.TheoryExpression
      org.jmlspecs.jml4.fspv.theory.TheoryUnaryExpression

public class TheoryUnaryExpression
extends TheoryExpression

Author:

karabot

Field Summary

Fields inherited from class org.jmlspecs.jml4.fspv.theory.TheoryExpression

EMPTY, type, withSideEffects

Constructor Summary

TheoryUnaryExpression(TheoryType type)

Method Summary

java.lang.Object

visit(TheoryVisitor visitor)

Methods inherited from class java.lang.Object

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

Constructor Detail

TheoryUnaryExpression

public TheoryUnaryExpression(TheoryType type)

Method Detail

visit

public java.lang.Object visit(TheoryVisitor visitor)

Overrides:

visit in class TheoryExpression