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

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

public class SimplGlobalVariable
extends SimplVariable

Field Summary

static SimplGlobalVariable	ALLOC
static SimplGlobalVariable	FREE

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

name, THIS, type

Constructor Summary

SimplGlobalVariable(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

Field Detail

FREE

public static final SimplGlobalVariable FREE

ALLOC

public static final SimplGlobalVariable ALLOC

Constructor Detail

SimplGlobalVariable

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