Package it.unive.lisa.program.cfg.statement

Interface MetaVariableCreator

  • All Known Implementing Classes:
    CallWithResult, CFGCall, OpenCall, Return
    Functional Interface:
    This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.
    @FunctionalInterface
public interface MetaVariableCreator
    Objects implementing this interface will produce a meta-variable to represent the value that they produce on the stack during the computation of their semantic.

    • Method Summary

      All Methods Instance Methods Abstract Methods 
      Modifier and Type Method Description
      Identifier getMetaVariable()
      Yields the meta variable that is introduced during the evaluation of the semantics of this object to store information about the value produced by this object.

    • Method Detail

      • getMetaVariable

        Identifier getMetaVariable()
        Yields the meta variable that is introduced during the evaluation of the semantics of this object to store information about the value produced by this object. Since the meta variable simulates a value pushed on the stack, it should be forgotten after it is consumed.
        Returns:
        the meta variable introduced by this object