Class StateHandler

java.lang.Object
org.intocps.maestro.plugin.StateHandler

public class StateHandler extends Object
  • Constructor Details

    • StateHandler

      public StateHandler(List<org.intocps.maestro.ast.LexIdentifier> componentNames, org.intocps.maestro.framework.fmi2.Fmi2SimulationEnvironment env, Function<org.intocps.maestro.ast.LexIdentifier,org.intocps.maestro.ast.node.PStateDesignator> getCompStatusDesignator, BiConsumer<Map.Entry<Boolean,String>,Map.Entry<org.intocps.maestro.ast.LexIdentifier,List<org.intocps.maestro.ast.node.PStm>>> checkStatus)
  • Method Details

    • allocate

      public List<org.intocps.maestro.ast.node.PStm> allocate()
    • getAllStates

      public List<org.intocps.maestro.ast.node.PStm> getAllStates()
    • freeAllStates

      public List<org.intocps.maestro.ast.node.PStm> freeAllStates()