Package edu.kit.ipd.sdq.dataflow.systemmodel

Class LogicTermContext

  • @Accessors
public class LogicTermContext
extends Object
    Provides the context information required for the LogicTermTranslator.

    • Constructor Detail

      • LogicTermContext

        public LogicTermContext()

    • Method Detail

      • getAttributeWildCardInstatiation

        @Pure
public String getAttributeWildCardInstatiation()

      • setAttributeWildCardInstatiation

        public void setAttributeWildCardInstatiation​(String attributeWildCardInstatiation)

      • getValueWildCardInstatiation

        @Pure
public String getValueWildCardInstatiation()

      • setValueWildCardInstatiation

        public void setValueWildCardInstatiation​(String valueWildCardInstatiation)

      • getCurrentStack

        @Pure
public String getCurrentStack()

      • setCurrentStack

        public void setCurrentStack​(String currentStack)

      • getStateAccessStack

        @Pure
public String getStateAccessStack()

      • setStateAccessStack

        public void setStateAccessStack​(String stateAccessStack)

      • getStateAccessPredicate

        @Pure
public StateAccessMode getStateAccessPredicate()

      • setStateAccessPredicate

        public void setStateAccessPredicate​(StateAccessMode stateAccessPredicate)