Package com._1c.g5.v8.dt.bsl.typesystem.util

Class TypeSystemUtil

java.lang.Object

com._1c.g5.v8.dt.bsl.typesystem.util.TypeSystemUtil

public class TypeSystemUtil
extends Object

Common methods for all implementation of ITypeSystem

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	TypeSystemUtil.IfPosition	Specifications of TypeSystemUtil.TreeStatementPosition for "if" statement
static class	TypeSystemUtil.LoopPosition	Detects parts of tree statement ("for", "for each", "while") in BSL module
static class	TypeSystemUtil.TreeStatementPosition	Special abstract class for detected parts of tree statement ("if", "try", "for", "for each", "while") in BSL module
static class	TypeSystemUtil.TryPosition	Specifications of TypeSystemUtil.TreeStatementPosition for "try" statement
static class	TypeSystemUtil.TypeStateDiscarder	Contents methods for discarding changes made by ITypeSystem

Constructor Summary

Constructors

Constructor	Description
TypeSystemUtil()

Method Summary

Modifier and Type	Method	Description
static void	addCollectionElementTypesToState(Iterable<TypeItem> collectionTypes, VariableTreeTypeState state)	Add collection element types to VariableTreeTypeState
static Collection<TypeItem>	computeCommentTypes(org.eclipse.emf.ecore.EObject expressionBeforeComment, org.eclipse.xtext.nodemodel.INode blockNode, org.eclipse.xtext.scoping.IScope typeScope, org.eclipse.xtext.scoping.IScopeProvider scopeProvider, org.eclipse.xtext.naming.IQualifiedNameConverter qualifiedNameConverter, BslMultiLineCommentDocumentationProvider commentProvider, boolean oldFormatComment)	Computes TypeItems described in comment after Built-In language model object in the same line.
static Collection<TypeItem>	computeCommentTypes(org.eclipse.emf.ecore.EObject expressionBeforeComment, org.eclipse.xtext.scoping.IScope typeScope, org.eclipse.xtext.scoping.IScopeProvider scopeProvider, org.eclipse.xtext.naming.IQualifiedNameConverter qualifiedNameConverter, BslMultiLineCommentDocumentationProvider commentProvider, boolean oldFormatComment)	Computes TypeItems described in comment after Built-In language model object in the same line.
static ExtendedCollectionType	createExtendedArrayType(List<TypeItem> collectionTypes, IEObjectProvider provider, org.eclipse.emf.ecore.EObject context)	Creates ExtendedCollectionType as Array type with concrete collection element types
static void	discardTypeState(BslResource resource, Module module, TypeSystemMode mode)	Discards changes made by ITypeSystem
static <T extends org.eclipse.emf.ecore.EObject> List<T>	filterInnerObject(Collection<Object> allObjects, Class<T> clazz)	Filters objects by their type
static <T extends org.eclipse.emf.ecore.EObject> List<T>	findAllInnerObjectByClassifier(List<org.eclipse.emf.ecore.EObject> allContent, org.eclipse.emf.ecore.EClass eClass, Class<T> clazz)	Find objects by their class an eClass
static Environments	getActualEnvironments(org.eclipse.emf.ecore.EObject eObject, IBslOwnerComputerService ownerComputerService)	Find actual Environments for object
static Collection<Variable>	getAllVariableForBlock(Block block)	Gets all variable for Block
static Collection<TypeItem>	getCollectionElementTypes(Iterable<TypeItem> types, org.eclipse.emf.ecore.EObject context)	Gets all collection element types
static List<String>	getCommentAfterObject(org.eclipse.emf.ecore.EObject expressionBeforeComment, org.eclipse.xtext.nodemodel.INode blockNode, boolean oldFormatComment)	Provides the List of inlined comments for semantic element.
static VariableTypeStateProvider	getOrInitVariableProvider(Variable variable, TypeSystemMode mode)	Gets provider for variable If provider doesn't exist, create it
static void	installInitTypeUserMethodParam(Method method, TypeSystemMode mode)	Computes final state for Method parameters
static void	installInitTypeUserMethodParam(Module module, TypeSystemMode mode)	Computes final state for Method parameters
static void	installTypeStateForMethodParamByDefValue(Method method, TypesComputer computerTypes, IVariableTypeStateFactory creator, Deque<VariableTreeTypeState> allComputedState, TypeSystemMode mode)	Installs states of parameters having default value

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeSystemUtil

public TypeSystemUtil()

Method Detail

installInitTypeUserMethodParam

public static void installInitTypeUserMethodParam(Module module,
                                                  TypeSystemMode mode)

Computes final state for Method parameters

Parameters:

module - processing module, can't be null

mode - current TypeSystemMode, cannot be null

installInitTypeUserMethodParam

public static void installInitTypeUserMethodParam(Method method,
                                                  TypeSystemMode mode)

Computes final state for Method parameters

Parameters:

method - processing method, can't be null

mode - current TypeSystemMode, cannot be null

installTypeStateForMethodParamByDefValue

public static void installTypeStateForMethodParamByDefValue(Method method,
                                                            TypesComputer computerTypes,
                                                            IVariableTypeStateFactory creator,
                                                            Deque<VariableTreeTypeState> allComputedState,
                                                            TypeSystemMode mode)

Installs states of parameters having default value

Parameters:

method - processing Method

computerTypes - TypesComputer

creator - IVariableTypeStateFactory

allComputedState - list for accumulation of all computed state, can't be null

discardTypeState

public static void discardTypeState(BslResource resource,
                                    Module module,
                                    TypeSystemMode mode)

Discards changes made by ITypeSystem

Parameters:

resource - actual BslResource, can't be null

module - actual Module, can't be null

mode - current TypeSystemMode, cannot be null

getAllVariableForBlock

public static Collection<Variable> getAllVariableForBlock(Block block)

Gets all variable for Block

Parameters:

block - part of BSL model

Returns:

list of Variable

findAllInnerObjectByClassifier

public static <T extends org.eclipse.emf.ecore.EObject> List<T> findAllInnerObjectByClassifier(List<org.eclipse.emf.ecore.EObject> allContent,
                                                                                               org.eclipse.emf.ecore.EClass eClass,
                                                                                               Class<T> clazz)

Find objects by their class an eClass

Parameters:

allContent - all processing objects

eClass - EClass

clazz - Class

Returns:

list of needed EObjects

filterInnerObject

public static <T extends org.eclipse.emf.ecore.EObject> List<T> filterInnerObject(Collection<Object> allObjects,
                                                                                  Class<T> clazz)

Filters objects by their type

Parameters:

allObjects -

clazz - type of needed objects

Returns:

list of needed objects

getActualEnvironments

public static Environments getActualEnvironments(org.eclipse.emf.ecore.EObject eObject,
                                                 IBslOwnerComputerService ownerComputerService)

Find actual Environments for object

Parameters:

eObject - processing object, can't be null

ownerComputerService - actual IBslOwnerComputerService, can't be null

Returns:

found Environments, never null

getOrInitVariableProvider

public static VariableTypeStateProvider getOrInitVariableProvider(Variable variable,
                                                                  TypeSystemMode mode)

Gets provider for variable
If provider doesn't exist, create it

Parameters:

variable - Variable variable from Bsl Module

mode - current TypeSystemMode, cannot be null

Returns:

VariableTypeStateProvider, never null

addCollectionElementTypesToState

public static void addCollectionElementTypesToState(Iterable<TypeItem> collectionTypes,
                                                    VariableTreeTypeState state)

Add collection element types to VariableTreeTypeState

Parameters:

collectionTypes - types of the collection, can't be null

state - changing VariableTreeTypeState, can't be null

getCollectionElementTypes

public static Collection<TypeItem> getCollectionElementTypes(Iterable<TypeItem> types,
                                                             org.eclipse.emf.ecore.EObject context)

Gets all collection element types

Parameters:

types - types for getting collection element types, cannot be null

context - context EObject for resolving types, cannot be null

createExtendedArrayType

public static ExtendedCollectionType createExtendedArrayType(List<TypeItem> collectionTypes,
                                                             IEObjectProvider provider,
                                                             org.eclipse.emf.ecore.EObject context)

Creates ExtendedCollectionType as Array type with concrete collection element types

Parameters:

collectionTypes - types for array element, cannot be null

provider - special IEObjectProvider for getting proxy TypeItem by name, cannot be null

context - EObject for resolving TypeItem, cannot be null

Returns:

created ExtendedCollectionType as Array type with concrete collection element types, never null

computeCommentTypes

public static Collection<TypeItem> computeCommentTypes(org.eclipse.emf.ecore.EObject expressionBeforeComment,
                                                       org.eclipse.xtext.scoping.IScope typeScope,
                                                       org.eclipse.xtext.scoping.IScopeProvider scopeProvider,
                                                       org.eclipse.xtext.naming.IQualifiedNameConverter qualifiedNameConverter,
                                                       BslMultiLineCommentDocumentationProvider commentProvider,
                                                       boolean oldFormatComment)

Computes TypeItems described in comment after Built-In language model object in the same line. Code examples:

•  Procedure example()
       ...
       someVariable = someFunction(); //TypeName - description
       ...
   EndProcedure
   

•  ...
   Var someModuleVariable;
  
   Var moduleVariableWithTypes; //TypeName - description
   ...
   

Parameters:

expressionBeforeComment - Built-In language model object for find comment after it in the same line, cannot be null

typeScope - actual TypeItems IScope, cannot be null

scopeProvider - actual IScopeProvider for getting platform and configuration objects for comment content, cannot be null

qualifiedNameConverter - actual IQualifiedNameConverter, cannot be null

commentProvider - actual BslMultiLineCommentDocumentationProvider for read comment content, cannot be null

oldFormatComment - true if comment in old format, false in new format

Returns:

collection of TypeItems described in comment, never null

computeCommentTypes

public static Collection<TypeItem> computeCommentTypes(org.eclipse.emf.ecore.EObject expressionBeforeComment,
                                                       org.eclipse.xtext.nodemodel.INode blockNode,
                                                       org.eclipse.xtext.scoping.IScope typeScope,
                                                       org.eclipse.xtext.scoping.IScopeProvider scopeProvider,
                                                       org.eclipse.xtext.naming.IQualifiedNameConverter qualifiedNameConverter,
                                                       BslMultiLineCommentDocumentationProvider commentProvider,
                                                       boolean oldFormatComment)

Computes TypeItems described in comment after Built-In language model object in the same line. Code examples:

•  Procedure example()
       ...
       someVariable = someFunction(); //TypeName - description
       ...
   EndProcedure
   

•  ...
   Var someModuleVariable;
  
   Var moduleVariableWithTypes; //TypeName - description
   ...
   

Parameters:

expressionBeforeComment - Built-In language model object for find comment after it in the same line, cannot be null

blockNode - INode of Block which contains expressionBeforeComment, cannot be null

typeScope - actual TypeItems IScope, cannot be null

scopeProvider - actual IScopeProvider for getting platform and configuration objects for comment content, cannot be null

qualifiedNameConverter - actual IQualifiedNameConverter, cannot be null

commentProvider - actual BslMultiLineCommentDocumentationProvider for read comment content, cannot be null

oldFormatComment - true if comment in old format, false in new format

Returns:

collection of TypeItems described in comment, never null

getCommentAfterObject

public static List<String> getCommentAfterObject(org.eclipse.emf.ecore.EObject expressionBeforeComment,
                                                 org.eclipse.xtext.nodemodel.INode blockNode,
                                                 boolean oldFormatComment)

Provides the List of inlined comments for semantic element.

Parameters:

expressionBeforeComment - the element for which the inlined comment is being taken, cannot be null

blockNode - the parent node for element, cannot be null

oldFormatComment - true if comment in old format, false in new format

Returns:

the List of inlined comments, can be null