Package com._1c.g5.v8.dt.bsl.model.typesytem

Class VariableTreeTypeStateWithSubStates

java.lang.Object

com._1c.g5.v8.dt.bsl.model.typesytem.VariableTypeState

com._1c.g5.v8.dt.bsl.model.typesytem.VariableTreeTypeState

com._1c.g5.v8.dt.bsl.model.typesytem.ThreadSafeVariableTreeTypeState

com._1c.g5.v8.dt.bsl.model.typesytem.VariableTreeTypeStateWithSubStates

All Implemented Interfaces:

IExpressionTypeState, Comparable<VariableTypeState>

Direct Known Subclasses:

PromiseVariableTreeTypeStateWithSubStates

public class VariableTreeTypeStateWithSubStates
extends ThreadSafeVariableTreeTypeState

Special ThreadSafeVariableTreeTypeState with additional sub states

Nested Class Summary

Nested classes/interfaces inherited from class com._1c.g5.v8.dt.bsl.model.typesytem.VariableTreeTypeState

VariableTreeTypeState.CurrentNumTypesNumVisiting

Field Summary

Fields

Modifier and Type	Field	Description
protected Map<Environments,VariableTreeTypeState>	subStates	Provided sub states by Environments

Fields inherited from class com._1c.g5.v8.dt.bsl.model.typesytem.VariableTreeTypeState

dependStates, expressions

Fields inherited from class com._1c.g5.v8.dt.bsl.model.typesytem.VariableTypeState

blockNode, children, typesByDependedState, typesState

Constructor Summary

Constructors

Constructor	Description
VariableTreeTypeStateWithSubStates(Variable variable, Environments envs, int offset, org.eclipse.xtext.nodemodel.INode blockNode)	Creates state

Method Summary

Modifier and Type	Method	Description
List<VariableTreeTypeState>	getAllSubStates()
VariableTreeTypeState	getConcreteState(Environments envs)	Gets sub state for this state corresponding to the envs
List<VariableTreeTypeState>	getSubStates(Environments envs)	Gets sub states for this state corresponding to the envs
boolean	isEmptyState()	Checks that there is no sub states
protected void	linkedState(VariableTreeTypeState parentState, VariableTreeTypeState childState)	Links state each other

Methods inherited from class com._1c.g5.v8.dt.bsl.model.typesytem.ThreadSafeVariableTreeTypeState

addDependState, addExpression, addType, addTypes, addTypes, copyWithNewOffset, getDependStates, getExpressions, getTypes

Methods inherited from class com._1c.g5.v8.dt.bsl.model.typesytem.VariableTreeTypeState

addAllowedType, addAllowedTypes, addSkipType, addSkipTypes, getPrevChildrenNumTypes, hasNewTypes, isDependOnCollection, isExpandTypeContextDef, isServerCall, setDependOnCollection, setExpandTypeContextDef, setHasNewTypes, setServerCall

Methods inherited from class com._1c.g5.v8.dt.bsl.model.typesytem.VariableTypeState

addChildState, addExpressionRelatedTypes, compareTo, getBlockOffset, getChildState, getEnvironments, getOffset, getParentState, getSemanticObject, getTypesSize, getVariable, hasTypes, setParentState

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

subStates

protected Map<Environments,VariableTreeTypeState> subStates

Provided sub states by Environments

Constructor Detail

VariableTreeTypeStateWithSubStates

public VariableTreeTypeStateWithSubStates(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

Method Detail

getSubStates

public List<VariableTreeTypeState> getSubStates(Environments envs)

Gets sub states for this state corresponding to the envs

Parameters:

envs - Environments for filtering sub states, each sub state environments should be contains any Environment from envs

Returns:

list of filtering sub states, never null

getAllSubStates

public List<VariableTreeTypeState> getAllSubStates()

getConcreteState

public VariableTreeTypeState getConcreteState(Environments envs)

Gets sub state for this state corresponding to the envs

Parameters:

envs - Environments for getting sub states, each sub state environments should be equals to envs.

Returns:

sub state for this state corresponding to the envs, if there is no corresponding su states it will be created and parent state should be depend on creating, never null

isEmptyState

public boolean isEmptyState()

Checks that there is no sub states

Returns:

true if there is no sub states, false otherwise

linkedState

protected void linkedState(VariableTreeTypeState parentState,
                           VariableTreeTypeState childState)

Links state each other

Parameters:

parentState - parent state for added child state, cannot be null

childState - child state is added to parent state, cannot be null