Class TPCMValidator

  • All Implemented Interfaces:
    EValidator, org.eclipse.xtext.validation.ValidationMessageAcceptor

    public class TPCMValidator
    extends AbstractTPCMValidator
    This class contains custom validation rules. See https://www.eclipse.org/Xtext/documentation/303_runtime_concepts.html#validation
    • Field Detail

      • VALUE_REFERENCE

        protected static final de.uka.ipd.sdq.stoex.AbstractNamedReference VALUE_REFERENCE
    • Constructor Detail

      • TPCMValidator

        public TPCMValidator()
    • Method Detail

      • checkSignaturesWithoutParametersAreNotCalledWithParameters

        public void checkSignaturesWithoutParametersAreNotCalledWithParameters​(SEFFCallAction callAction)
      • checkPositionalArgumentsDoNotFollowNamedArguments

        public void checkPositionalArgumentsDoNotFollowNamedArguments​(SEFFCallAction callAction)
      • checkCallParameterTypeIsCorrect

        public void checkCallParameterTypeIsCorrect​(ParameterSpecification specification)
      • checkAssemblyContextAssignmentIsExclusive

        public void checkAssemblyContextAssignmentIsExclusive​(Connector connector)