public class Aadl2JavaValidator extends AbstractAadl2JavaValidator
org.eclipse.xtext.validation.AbstractDeclarativeValidator.State, org.eclipse.xtext.validation.AbstractDeclarativeValidator.StateAccess
org.eclipse.emf.ecore.EValidator.Descriptor, org.eclipse.emf.ecore.EValidator.PatternMatcher, org.eclipse.emf.ecore.EValidator.Registry, org.eclipse.emf.ecore.EValidator.SubstitutionLabelProvider, org.eclipse.emf.ecore.EValidator.ValidationDelegate
CURRENT_LANGUAGE_NAME
Constructor and Description |
---|
Aadl2JavaValidator() |
caseClassifierValue, casePropertyAssociation, caseRangeValue, checkClassifierReferenceInWith, checkPropertySetElementReference
acceptError, acceptError, acceptInfo, acceptInfo, acceptWarning, acceptWarning, getMessageAcceptor, setInjector, setMessageAcceptor
public void caseComponentImplementation(ComponentImplementation componentImplementation)
public void caseTypeExtension(TypeExtension typeExtension)
public void caseComponentType(ComponentType componentType)
public void caseImplementationExtension(ImplementationExtension implementationExtension)
public void caseRealization(Realization realization)
public void caseComponentTypeRename(ComponentTypeRename componentTypeRename)
public void caseFeatureGroupTypeRename(FeatureGroupTypeRename fgtRename)
public void caseSubcomponent(Subcomponent subcomponent)
public void caseComponentPrototype(ComponentPrototype prototype)
public void caseComponentPrototypeBinding(ComponentPrototypeBinding binding)
public void caseComponentPrototypeActual(ComponentPrototypeActual prototypeActual)
public void caseFeaturePrototypeBinding(FeaturePrototypeBinding binding)
public void caseFeatureGroupPrototypeBinding(FeatureGroupPrototypeBinding binding)
public void caseFeatureGroupPrototypeActual(FeatureGroupPrototypeActual prototypeActual)
public void caseFeatureGroupPrototype(FeatureGroupPrototype prototype)
public void caseFeaturePrototype(FeaturePrototype prototype)
public void casePortSpecification(PortSpecification portspec)
public void caseAccessSpecification(AccessSpecification accessspec)
public void caseComponentImplementationReference(ComponentImplementationReference ciref)
public void caseDataType(DataType dataType)
public void caseDataImplementation(DataImplementation dataImplementation)
public void caseThreadGroupImplementation(ThreadGroupImplementation threadGroupImplementation)
public void caseProcessorImplementation(ProcessorImplementation processorImplementation)
public void caseVirtualProcessorImplementation(VirtualProcessorImplementation virtualProcessorImplementation)
public void caseMemoryType(MemoryType memoryType)
public void caseMemoryImplementation(MemoryImplementation memoryImplementation)
public void caseBusType(BusType busType)
public void caseBusImplementation(BusImplementation busImplementation)
public void caseVirtualBusType(VirtualBusType virtualBusType)
public void caseVirtualBusImplementation(VirtualBusImplementation virtualBusImplementation)
public void caseDeviceImplementation(DeviceImplementation deviceImplementation)
public void caseFeature(Feature feature)
public void caseConnection(Connection connection)
public void casePortConnection(PortConnection connection)
public void caseParameterConnection(ParameterConnection connection)
public void caseAccessConnection(AccessConnection connection)
public void caseFeatureGroupConnection(FeatureGroupConnection connection)
public void caseFlowSpecification(FlowSpecification flow)
public void caseFlowImplementation(FlowImplementation flow)
public void caseEndToEndFlow(EndToEndFlow flow)
public void caseDirectedFeature(DirectedFeature feature)
public void caseAbstractFeature(AbstractFeature feature)
public void caseFeatureGroupType(FeatureGroupType featureGroupType)
public void caseGroupExtension(GroupExtension extension)
public void caseFeatureGroup(FeatureGroup featureGroup)
public void caseSubprogramAccess(SubprogramAccess subprogramAccess)
public void caseSubprogramGroupAccess(SubprogramGroupAccess subprogramGroupAccess)
public void caseAccess(Access access)
public void caseDataAccess(DataAccess dataAccess)
public void caseSubprogramCall(SubprogramCall callSpec)
public void caseAadlPackage(AadlPackage pack)
public void casePropertySet(PropertySet propSet)
public void caseModelUnit(ModelUnit pack)
public void caseClassifier(Classifier cl)
public void caseUnitsType(UnitsType ut)
public void caseEnumerationType(EnumerationType et)
public void caseRangeType(RangeType nt)
public void caseBasicProperty(BasicProperty bp)
public void caseProperty(Property bp)
public void caseListType(ListType bp)
public void casePropertyConstant(PropertyConstant bp)
public void caseNumberType(NumberType nt)
public void caseAadlinteger(AadlInteger ai)
public void checkEndId(Classifier cl)
public void checkEndId(ModelUnit mu)
public void checkExtendCycles(Classifier cl)
public void checkPackageReference(AadlPackage pack, Element context)
public void checkComponentTypeUniqueNames(ComponentType type)
public void checkComponentImplementationUniqueNames(ComponentImplementation impl)
public void checkFeatureGroupTypeUniqueNames(FeatureGroupType type)
public static boolean canExtend(ComponentType parent, ComponentType child)
child
can extend parent
.public static boolean canExtend(ComponentImplementation parent, ComponentImplementation child)
child
can extend parent
.public static ComponentCategory getComponentPrototypeCategory(ComponentPrototype prototype)
public java.lang.String hasDuplicatesAadlPackage(AadlPackage context)
public boolean hasExtendCycles(Classifier cl)
public boolean sameDirection(DirectionType srcDirection, DirectionType destDirection)