Context Navigation

← Previous Changeset
Next Changeset →

Changeset 1544

Timestamp:

06/18/12 18:36:35 (12 years ago)

Author:

wschamai

Message:

MOD: validation messages, code formatting

Location:

trunk/modelicaml/org.openmodelica.modelicaml.validation

Files:

: 1 added
: 46 edited

META-INF/MANIFEST.MF (modified) (view diffs)
plugin.xml (modified) (view diffs)
src/org/openmodelica/modelicaml/validation/handlers/ModelicaMLValidationAction.java (modified) (view diffs)
src/org/openmodelica/modelicaml/validation/handlers/ModelicaMLValidationSubTreeAction.java (added)
src/org/openmodelica/modelicaml/validation/rules/classes/C01_C02_NonSimilarNamesConstraint.java (modified) (view diffs)
src/org/openmodelica/modelicaml/validation/rules/classes/C03_ClassWithModelicaMLStereotypeConstraint.java (modified) (view diffs)
src/org/openmodelica/modelicaml/validation/rules/classes/C04_ClassPropertyStereotypeConstraint.java (modified) (view diffs)
src/org/openmodelica/modelicaml/validation/rules/classes/C05_OpaqueBehaviorStereotypeConstraint.java (modified) (view diffs)
src/org/openmodelica/modelicaml/validation/rules/classes/C06_StateMachineStereotypeConstraint.java (modified) (view diffs)
src/org/openmodelica/modelicaml/validation/rules/classes/C07_ClassElementsInstanceConstraint.java (modified) (view diffs)
src/org/openmodelica/modelicaml/validation/rules/classes/C08_ModelicaPackageClassElementsInstanceConstraint.java (modified) (view diffs)
src/org/openmodelica/modelicaml/validation/rules/classes/C09_NonCircularStatemachineReferencesConstraint.java (modified) (view diffs)
src/org/openmodelica/modelicaml/validation/rules/classes/C10_C11_FunctionBehaviorNumberOfParameterConstraint.java (modified) (view diffs)
src/org/openmodelica/modelicaml/validation/rules/classes/C12_PropertyCausalityOfBlockConstriant.java (modified) (view diffs)
src/org/openmodelica/modelicaml/validation/rules/classes/C13_ConnectionStereotypeForConnectorConstraint.java (modified) (view diffs)
src/org/openmodelica/modelicaml/validation/rules/classes/C14_ConnectionPortStereotypeForPortsOfConnectorConstraint.java (modified) (view diffs)
src/org/openmodelica/modelicaml/validation/rules/classes/C15_RedeclareRelationStereotypeForDependencyOfClassConstraint.java (modified) (view diffs)
src/org/openmodelica/modelicaml/validation/rules/classes/C16_ConstrainedByRelationStereotypeForDependencyOfClassConstraint.java (modified) (view diffs)
src/org/openmodelica/modelicaml/validation/rules/classes/C17_PartialDerivationRelationStereotypeForDependencyOfFunctionBehaviorConstraint.java (modified) (view diffs)
src/org/openmodelica/modelicaml/validation/rules/classes/C18_GeneralizationStereotypeConstraint.java (modified) (view diffs)
src/org/openmodelica/modelicaml/validation/rules/classes/C19_ClassInheritanceRulesConstraint.java (modified) (view diffs)
src/org/openmodelica/modelicaml/validation/rules/classes/C21_ExitPointHaveOnlyOneIncomingTransitionConstraint.java (modified) (view diffs)
src/org/openmodelica/modelicaml/validation/rules/classes/C22_EntryPointHaveNoIncomingTransitionConstraint.java (modified) (view diffs)
src/org/openmodelica/modelicaml/validation/rules/classes/C23_ExitPointHaveNoOutgoingTransitionConstraint.java (modified) (view diffs)
src/org/openmodelica/modelicaml/validation/rules/classes/C24_DeepHistoryNotSupportedConstraint.java (modified) (view diffs)
src/org/openmodelica/modelicaml/validation/rules/classes/C25_ModelicaMLStateMachineHaveOnlyOneInitialStateConstraint.java (modified) (view diffs)
src/org/openmodelica/modelicaml/validation/rules/classes/C26_InitialStateHaveOnlyOneOutgoingTransitionConstraint.java (modified) (view diffs)
src/org/openmodelica/modelicaml/validation/rules/classes/C27_NoGuardForOutgoingTransitionOfInitialStateConstraint.java (modified) (view diffs)
src/org/openmodelica/modelicaml/validation/rules/classes/C28_ModelicaMLStateMachineHaveOnlyOneShallowHistoryStateConstraint.java (modified) (view diffs)
src/org/openmodelica/modelicaml/validation/rules/classes/C29_ModelicaMLStateMachineHaveOnlyOneInitialOrShallowHistoryStateConstraint.java (modified) (view diffs)
src/org/openmodelica/modelicaml/validation/rules/classes/C30_OutgoingTransitionToAStateFromInitialOrShallowHistoryStateHaveSameRegionConstraint.java (modified) (view diffs)
src/org/openmodelica/modelicaml/validation/rules/classes/C31_ChoiceOrjunctionStateHaveOnlyOneIncomingAndAtLeastOneOutgoingTransitionConstraint.java (modified) (view diffs)
src/org/openmodelica/modelicaml/validation/rules/classes/C32_ChoiceOrJunctionStateShouldHaveOneElseBranchConstraint.java (modified) (view diffs)
src/org/openmodelica/modelicaml/validation/rules/classes/C33_TransitionToForkFromStateMustBeSameRegionConstraint.java (modified) (view diffs)
src/org/openmodelica/modelicaml/validation/rules/classes/C34_ForkStateMustHaveOnlyOneIncomingAndAtleastTwoOutgoingConstraint.java (modified) (view diffs)
src/org/openmodelica/modelicaml/validation/rules/classes/C35_TransitionFromForkToTargetMustBeStatesOfDifferentRegionInCompositeStateConstraint.java (modified) (view diffs)
src/org/openmodelica/modelicaml/validation/rules/classes/C36_JoinOutgoingTransitionToStateOrFinalStateConstraint.java (modified) (view diffs)
src/org/openmodelica/modelicaml/validation/rules/classes/C37_JoinMustHaveOnlyTwoIncomingAndOneOutgoingTransitionConstraint.java (modified) (view diffs)
src/org/openmodelica/modelicaml/validation/rules/classes/C38_TransitionToJoinFromSourcetMustBeStatesOfDifferentRegionInCompositeStateConstraint.java (modified) (view diffs)
src/org/openmodelica/modelicaml/validation/rules/classes/C39_TransitionCannotCrossRegionBordersOfCompositeStateConstraint.java (modified) (view diffs)
src/org/openmodelica/modelicaml/validation/rules/classes/C40_ConnectionPointReferenceHaveOnlyOneEntryPointReferenceConstriant.java (modified) (view diffs)
src/org/openmodelica/modelicaml/validation/rules/classes/C41_ConnectionPointReferenceHaveOnlyOneExitPointReferenceConstraint.java (modified) (view diffs)
src/org/openmodelica/modelicaml/validation/rules/classes/C42_ConncectionPointReferenceToEntryPointHaveNoOutgoingTransitionConstraint.java (modified) (view diffs)
src/org/openmodelica/modelicaml/validation/rules/classes/C43_ConncectionPointReferenceToExitPointHaveNoIncomingTransitionConstraint.java (modified) (view diffs)
src/org/openmodelica/modelicaml/validation/rules/classes/C44_ConnectionPointReferenceToExitPointMustHaveOutgoingTransitionConstraint.java (modified) (view diffs)
src/org/openmodelica/modelicaml/validation/rules/classes/C45_FinalStateHaveNoOutgoingTransitionsConstrainst.java (modified) (view diffs)
src/org/openmodelica/modelicaml/validation/rules/classes/C46_TerminateStateHaveNoOutgoingTransitionsConstraint.java (modified) (view diffs)

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 1544

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.