Class PromiseVariableTreeTypeStateWithSubStates

    • Constructor Detail

      • PromiseVariableTreeTypeStateWithSubStates

        public PromiseVariableTreeTypeStateWithSubStates​(Variable variable,
                                                         Environments envs,
                                                         int offset,
                                                         org.eclipse.xtext.nodemodel.INode blockNode)
        Creates state
        Parameters:
        variable - Variable in BSL associated with this state
        envs - Environments for this state, can't be null
        offset - position in document, where this state was created
        blockNode - INode corresponding to the containment Block in Built-In Language, can't be null