Module dev.civl.mc

Package dev.civl.mc.semantics.IF

Class TypeEvaluation

java.lang.Object

dev.civl.mc.semantics.IF.TypeEvaluation

public class TypeEvaluation
extends Object

Represents the result of evaluating something that returns a symbolic type, but in two parts: the (possibly) new state resulting from side-effects arising from the evaluation, and the symbolic type resulting from the evaluation.

Field Summary

Fields

Modifier and Type	Field	Description
State	state
dev.civl.sarl.IF.type.SymbolicType	type

Constructor Summary

Constructors

Constructor	Description
TypeEvaluation(State state, dev.civl.sarl.IF.type.SymbolicType type)

Method Summary

Modifier and Type	Method	Description
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

state

public State state

type

public dev.civl.sarl.IF.type.SymbolicType type

Constructor Details

TypeEvaluation

public TypeEvaluation(State state,
 dev.civl.sarl.IF.type.SymbolicType type)

Method Details

toString

public String toString()

Overrides:

toString in class Object