Package edu.udel.cis.vsl.civl.semantics.IF

Class Evaluation

  • public class Evaluation
extends java.lang.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.
      edu.udel.cis.vsl.sarl.IF.expr.SymbolicExpression value
      The value resulting from a certain evaluation.

    • Constructor Summary

      Constructors 
      Constructor Description
      Evaluation​(State state, edu.udel.cis.vsl.sarl.IF.expr.SymbolicExpression value)
      Creates a new instance of evaluation.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.lang.String toString()  

      • Methods inherited from class java.lang.Object

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

    • Field Detail

      • state

        public State state
        The (possibly) new state resulting from side-effects arising from a certain evaluation.

      • value

        public edu.udel.cis.vsl.sarl.IF.expr.SymbolicExpression value
        The value resulting from a certain evaluation.

    • Constructor Detail

      • Evaluation

        public Evaluation​(State state,
                  edu.udel.cis.vsl.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 Detail

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object