Class StateHandler


  • public class StateHandler
    extends Object
    • Constructor Detail

      • 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 Detail

      • 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()