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

java.lang.Object
  org.jmlspecs.jml4.fspv.simpl.ast.SimplTheoryNode
      org.jmlspecs.jml4.fspv.simpl.ast.SimplState
          org.jmlspecs.jml4.fspv.simpl.ast.SimplHoareState

public class SimplHoareState
extends SimplState

Field Summary

SimplGlobalVariable[]	fields
SimplHoareState	in
static SimplHoareState	MEMORY
java.lang.String	name

Constructor Summary

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

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

Method Summary

java.lang.String	getName()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

MEMORY

public static final SimplHoareState MEMORY

name

public final java.lang.String name

fields

public final SimplGlobalVariable[] fields

in

public final SimplHoareState in

Constructor Detail

SimplHoareState

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

SimplHoareState

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

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getName

public java.lang.String getName()