Context Navigation

← Previous Changeset
Next Changeset →

Changeset 1517

Timestamp:

05/29/12 20:22:12 (12 years ago)

Author:

gatgo165

Message:

Added ModelicaML Validation Plugin

Location:

trunk/modelicaml/org.openmodelica.modelicaml.validation

Files:

: 77 added

. (added)
.classpath (added)
.project (added)
.settings (added)
.settings/org.eclipse.jdt.core.prefs (added)
META-INF (added)
META-INF/MANIFEST.MF (added)
TestModels (added)
TestModels/modelicaml_validations_test (added)
TestModels/modelicaml_validations_test/.project (added)
TestModels/modelicaml_validations_test/model.di (added)
TestModels/modelicaml_validations_test/model.notation (added)
TestModels/modelicaml_validations_test/model.uml (added)
bin (added)
build.properties (added)
icons (added)
icons/validate.gif (added)
plugin.xml (added)
src (added)
src/org (added)
src/org/openmodelica (added)
src/org/openmodelica/modelicaml (added)
src/org/openmodelica/modelicaml/validation (added)
src/org/openmodelica/modelicaml/validation/Activator.java (added)
src/org/openmodelica/modelicaml/validation/context (added)
src/org/openmodelica/modelicaml/validation/context/ValidationDelegateClientSelector.java (added)
src/org/openmodelica/modelicaml/validation/handlers (added)
src/org/openmodelica/modelicaml/validation/handlers/ModelicaMLValidationAction.java (added)
src/org/openmodelica/modelicaml/validation/rules (added)
src/org/openmodelica/modelicaml/validation/rules/classes (added)
src/org/openmodelica/modelicaml/validation/rules/classes/C01_C02_NonSimilarNamesConstraint.java (added)
src/org/openmodelica/modelicaml/validation/rules/classes/C03_ClassWithModelicaMLStereotypeConstraint.java (added)
src/org/openmodelica/modelicaml/validation/rules/classes/C04_ClassPropertyStereotypeConstraint.java (added)
src/org/openmodelica/modelicaml/validation/rules/classes/C05_OpaqueBehaviorStereotypeConstraint.java (added)
src/org/openmodelica/modelicaml/validation/rules/classes/C06_StateMachineStereotypeConstraint.java (added)
src/org/openmodelica/modelicaml/validation/rules/classes/C07_ClassElementsInstanceConstraint.java (added)
src/org/openmodelica/modelicaml/validation/rules/classes/C08_ModelicaPackageClassElementsInstanceConstraint.java (added)
src/org/openmodelica/modelicaml/validation/rules/classes/C09_NonCircularStatemachineReferencesConstraint.java (added)
src/org/openmodelica/modelicaml/validation/rules/classes/C10_C11_FunctionBehaviorNumberOfParameterConstraint.java (added)
src/org/openmodelica/modelicaml/validation/rules/classes/C12_PropertyCausalityOfBlockConstriant.java (added)
src/org/openmodelica/modelicaml/validation/rules/classes/C13_ConnectionStereotypeForConnectorConstraint.java (added)
src/org/openmodelica/modelicaml/validation/rules/classes/C14_ConnectionPortStereotypeForPortsOfConnectorConstraint.java (added)
src/org/openmodelica/modelicaml/validation/rules/classes/C15_RedeclareRelationStereotypeForDependencyOfClassConstraint.java (added)
src/org/openmodelica/modelicaml/validation/rules/classes/C16_ConstrainedByRelationStereotypeForDependencyOfClassConstraint.java (added)
src/org/openmodelica/modelicaml/validation/rules/classes/C17_PartialDerivationRelationStereotypeForDependencyOfFunctionBehaviorConstraint.java (added)
src/org/openmodelica/modelicaml/validation/rules/classes/C18_GeneralizationStereotypeConstraint.java (added)
src/org/openmodelica/modelicaml/validation/rules/classes/C19_ClassInheritanceRulesConstraint.java (added)
src/org/openmodelica/modelicaml/validation/rules/classes/C21_ExitPointHaveOnlyOneIncomingTransitionConstraint.java (added)
src/org/openmodelica/modelicaml/validation/rules/classes/C22_EntryPointHaveNoIncomingTransitionConstraint.java (added)
src/org/openmodelica/modelicaml/validation/rules/classes/C23_ExitPointHaveNoOutgoingTransitionConstraint.java (added)
src/org/openmodelica/modelicaml/validation/rules/classes/C24_DeepHistoryNotSupportedConstraint.java (added)
src/org/openmodelica/modelicaml/validation/rules/classes/C25_ModelicaMLStateMachineHaveOnlyOneInitialStateConstraint.java (added)
src/org/openmodelica/modelicaml/validation/rules/classes/C26_InitialStateHaveOnlyOneOutgoingTransitionConstraint.java (added)
src/org/openmodelica/modelicaml/validation/rules/classes/C27_NoGuardForOutgoingTransitionOfInitialStateConstraint.java (added)
src/org/openmodelica/modelicaml/validation/rules/classes/C28_ModelicaMLStateMachineHaveOnlyOneShallowHistoryStateConstraint.java (added)
src/org/openmodelica/modelicaml/validation/rules/classes/C29_ModelicaMLStateMachineHaveOnlyOneInitialOrShallowHistoryStateConstraint.java (added)
src/org/openmodelica/modelicaml/validation/rules/classes/C30_OutgoingTransitionToAStateFromInitialOrShallowHistoryStateHaveSameRegionConstraint.java (added)
src/org/openmodelica/modelicaml/validation/rules/classes/C31_ChoiceOrjunctionStateHaveOnlyOneIncomingAndAtLeastOneOutgoingTransitionConstraint.java (added)
src/org/openmodelica/modelicaml/validation/rules/classes/C32_ChoiceOrJunctionStateShouldHaveOneElseBranchConstraint.java (added)
src/org/openmodelica/modelicaml/validation/rules/classes/C33_TransitionToForkFromStateMustBeSameRegionConstraint.java (added)
src/org/openmodelica/modelicaml/validation/rules/classes/C34_ForkStateMustHaveOnlyOneIncomingAndAtleastTwoOutgoingConstraint.java (added)
src/org/openmodelica/modelicaml/validation/rules/classes/C35_TransitionFromForkToTargetMustBeStatesOfDifferentRegionInCompositeStateConstraint.java (added)
src/org/openmodelica/modelicaml/validation/rules/classes/C36_JoinOutgoingTransitionToStateOrFinalStateConstraint.java (added)
src/org/openmodelica/modelicaml/validation/rules/classes/C37_JoinMustHaveOnlyTwoIncomingAndOneOutgoingTransitionConstraint.java (added)
src/org/openmodelica/modelicaml/validation/rules/classes/C38_TransitionToJoinFromSourcetMustBeStatesOfDifferentRegionInCompositeStateConstraint.java (added)
src/org/openmodelica/modelicaml/validation/rules/classes/C39_TransitionCannotCrossRegionBordersOfCompositeStateConstraint.java (added)
src/org/openmodelica/modelicaml/validation/rules/classes/C40_ConnectionPointReferenceHaveOnlyOneEntryPointReferenceConstriant.java (added)
src/org/openmodelica/modelicaml/validation/rules/classes/C41_ConnectionPointReferenceHaveOnlyOneExitPointReferenceConstraint.java (added)
src/org/openmodelica/modelicaml/validation/rules/classes/C42_ConncectionPointReferenceToEntryPointHaveNoOutgoingTransitionConstraint.java (added)
src/org/openmodelica/modelicaml/validation/rules/classes/C43_ConncectionPointReferenceToExitPointHaveNoIncomingTransitionConstraint.java (added)
src/org/openmodelica/modelicaml/validation/rules/classes/C44_ConnectionPointReferenceToExitPointMustHaveOutgoingTransitionConstraint.java (added)
src/org/openmodelica/modelicaml/validation/rules/classes/C45_FinalStateHaveNoOutgoingTransitionsConstrainst.java (added)
src/org/openmodelica/modelicaml/validation/rules/classes/C46_TerminateStateHaveNoOutgoingTransitionsConstraint.java (added)
src/org/openmodelica/modelicaml/validation/util (added)
src/org/openmodelica/modelicaml/validation/util/Utility.java (added)
src/org/openmodelica/modelicaml/validation/views (added)
src/org/openmodelica/modelicaml/validation/views/ModelicaMLValidationView.java (added)

Note: See TracChangeset for help on using the changeset viewer.

Download in other formats:

Unified Diff
Zip Archive

This OpenModelica MDT Trac was moved to Github and is now read-only for non-admin users. We are in the process of porting the Trac ticket information to the issues in Github. Open new OpenModelica tickets here. Open new MDT tickets here. Contact OpenModelica@ida.liu.se if you have questions.

Context Navigation

Changeset 1517

Download in other formats:

This OpenModelica MDT Trac was moved to Github and is now read-only for non-admin users.
We are in the process of porting the Trac ticket information to the issues in Github.
Open new OpenModelica tickets here.
Open new MDT tickets here.
Contact OpenModelica@ida.liu.se if you have questions.