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

Packages that use SimplGlobalVariable

org.jmlspecs.jml4.fspv.simpl.ast

Uses of SimplGlobalVariable in org.jmlspecs.jml4.fspv.simpl.ast

Fields in org.jmlspecs.jml4.fspv.simpl.ast declared as SimplGlobalVariable

static SimplGlobalVariable	SimplGlobalVariable.ALLOC
SimplGlobalVariable[]	SimplHoareState.fields
static SimplGlobalVariable	SimplGlobalVariable.FREE

Constructors in org.jmlspecs.jml4.fspv.simpl.ast with parameters of type SimplGlobalVariable

SimplHoareState(java.lang.String name, SimplGlobalVariable[] fields)

SimplHoareState(java.lang.String name, SimplGlobalVariable[] fields, SimplHoareState in)