Checks all symbols of some collection, in the context of some program declaration, are all unique.
Checks all symbols of some collection, in the context of some program declaration, are all unique.
Checks if the identifiers used in the expression are declared in the namespace.
Checks if the identifiers used in the expression are declared in the namespace.
Checks if the identifiers used in the expression are declared in the namespace.
Checks if the identifiers used in the expression are declared in the namespace.
Checks if the identifiers used in the expression are declared in the namespace.
Checks if the identifiers used in the expression are declared in the namespace.
Checks if the identifiers used in the expression are declared in the namespace.
Checks if the identifiers used in the expression are declared in the namespace.
Check if identifiers found in a FlowDefinition lhs and rhs are all declared.
Check if identifiers found in a FlowDefinition lhs and rhs are all declared.
Check type the identifier found in a FlowDeclartion is declared in the namespace.
Check type the identifier found in a FlowDeclartion is declared in the namespace.
Checks identifiers found in a TypeDeclaration for doublons.
Checks identifiers found in a TypeDeclaration for doublons.
Checks identifiers used in a ComponentDeclaration.