Module dev.civl.mc
Package dev.civl.mc.semantics.IF

Class Evaluation

java.lang.Object
dev.civl.mc.semantics.IF.Evaluation
public class Evaluation extends Object
Represents the result of evaluating an expression in two parts: the (possibly) new state resulting from side-effects arising from the evaluation, and the value resulting from the evaluation.

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    State
    state
    The (possibly) new state resulting from side-effects arising from a certain evaluation.
    dev.civl.sarl.IF.expr.SymbolicExpression
    value
    The value resulting from a certain evaluation.

  • Constructor Summary

    Constructors
    Constructor
    Description
    Evaluation(State state, dev.civl.sarl.IF.expr.SymbolicExpression value)
    Creates a new instance of evaluation.

  • 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
      The (possibly) new state resulting from side-effects arising from a certain evaluation.

    • value

      public dev.civl.sarl.IF.expr.SymbolicExpression value
      The value resulting from a certain evaluation.

  • Constructor Details

    • Evaluation

      public Evaluation(State state, dev.civl.sarl.IF.expr.SymbolicExpression value)
      Creates a new instance of evaluation.
      Parameters:
      state - The new state resulting from the evaluation.
      value - The value resulting from the evaluation.

  • Method Details