org.jmlspecs.jml4.fspv.simpl.ast
Class SimplArgument

java.lang.Object
  org.jmlspecs.jml4.fspv.simpl.ast.SimplTheoryNode
      org.jmlspecs.jml4.fspv.simpl.ast.SimplVariable
          org.jmlspecs.jml4.fspv.simpl.ast.SimplLocalVariable
              org.jmlspecs.jml4.fspv.simpl.ast.SimplArgument

public class SimplArgument
extends SimplLocalVariable

Field Summary

Fields inherited from class org.jmlspecs.jml4.fspv.simpl.ast.SimplVariable

name, THIS, type

Constructor Summary

SimplArgument(java.lang.String name, SimplType type)

Method Summary

Methods inherited from class org.jmlspecs.jml4.fspv.simpl.ast.SimplVariable

getHolVariableReference, getInitialValue, getVariableReference, makePreStateEqualExpression, makePreStateEqualExpression, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

SimplArgument

public SimplArgument(java.lang.String name,
                     SimplType type)