Home
Java
JSTL
Struts
Spring
Hibernate
Webservice
Eclipse
API
Guest Post
Menu
Explorer
MMINT-master
examples
ICMT15
edu.toronto.cs.se.modelepedia.icmt15
src
edu
toronto
cs
se
modelepedia
icmt15
operator
ICMT15.java
ICSE14
edu.toronto.cs.se.modelepedia.icse14
src
edu
toronto
cs
se
modelepedia
icse14
operator
FeatureModelToSMTLIB.java
splar
apps
DevelopmentTests.java
SPLOTCatalogConfigurationBackEnd.java
experiments
Extractor.java
GenBench.java
GenFM.java
ScalabilityExperiments.java
TestValidDomains.java
Tests.java
generator
FMGeneratorEngine.java
FMGeneratorEngineListener.java
FMGeneratorGUI.java
FMGeneratorGUIEvent.java
FMGeneratorGUIListener.java
FMGeneratorMain.java
core
constraints
Assignment.java
BooleanVariable.java
BooleanVariableInterface.java
CNFClause.java
CNFFormula.java
CNFGenerator.java
CNFLiteral.java
CNFLiteralComparator.java
PropositionalFormula.java
parsing
CNFClauseParseException.java
CNFClauseParser.java
PFParseTree.java
PFParser.java
fm
FTTraversalNodeSelector.java
FTTraversals.java
FeatureGroup.java
FeatureModel.java
FeatureModelException.java
FeatureModelListener.java
FeatureModelState.java
FeatureModelStatistics.java
FeatureTree.java
FeatureTreeCellRenderer.java
FeatureTreeNode.java
FeatureTreeNodeState.java
FeatureValueAssignmentException.java
GroupedFeature.java
IFNodeRenderer.java
NodeRenderer.java
RootNode.java
SolitaireFeature.java
TreeNodeRendererFactory.java
XMLFeatureModel.java
clustering
FTCluster.java
FeatureModelClustersManager.java
NodeCluster.java
configuration
ConfigurationEngine.java
ConfigurationEngineException.java
ConfigurationStep.java
randomization
Random3CNFFeatureModel.java
RandomFeatureModel.java
RandomFeatureModel2.java
RandomFeatureTreeModel.java
reasoning
FMReasoningException.java
FMReasoningInterface.java
heuristics
CustomVariableOrderingHeuristic.java
ECFT_ClustersPreOrderHeuristic.java
ECFT_FORCEPreOrderHeuristic.java
ECFT_PreOrderHeuristic.java
FORCEVariableOrderingHeuristic.java
FTAverageOrderTraversalHeuristic.java
FTPostOrderOptTraversalHeuristic.java
FTPostOrderTraversalHeuristic.java
FTPreOrderClustersTraversalHeuristic.java
FTPreOrderOptTraversalHeuristic.java
FTPreOrderSortedECTraversalHeuristic.java
FTPreOrderTraversalHeuristic.java
FTTraversalHeuristic.java
RandomVariableOrderingHeuristic.java
VariableOrderingHeuristic.java
VariableOrderingHeuristicsManager.java
util
CombinationGenerator.java
Utils.java
alloy
FM2AlloyConversor.java
hypergraphs
Hyperedge.java
Hypergraph.java
Vertex.java
plugins
configuration
bdd
javabdd
BDDConfigurationEngine.java
catalog
Product.java
ProductCatalog.java
ProductComponent.java
sat
sat4j
SATConfigurationEngine.java
reasoners
bdd
javabdd
BDDExceededBuildingTimeException.java
BDDGenerationStatistics.java
BDDSolutionsIterator.java
BDDSolutionsIterator2.java
BDDTraversal.java
BDDTraversalNodeDFS.java
FMReasoningWithBDD.java
FTReasoningWithBDD.java
PF2BDDParser.java
ReasoningWithBDD.java
sat
sat4j
FMReasoningWithSAT.java
FTReasoningWithSAT.java
ReasoningWithSAT.java
StaticVariableOrderSAT.java
samples
BDDReasoningExample.java
SATConfigurationExample.java
SATReasoningExample.java
ICSE15
edu.toronto.cs.se.modelepedia.icse15_sequencediagram_mavo
src-gen
edu
toronto
cs
se
modelepedia
icse15_sequencediagram_mavo
Class.java
ClassReference.java
ICSE15_SequenceDiagram_MAVOFactory.java
ICSE15_SequenceDiagram_MAVOPackage.java
Lifeline.java
Message.java
NamedElement.java
Operation.java
OperationReference.java
SequenceDiagram.java
SourceLifelineReference.java
TargetLifelineReference.java
impl
ClassImpl.java
ClassReferenceImpl.java
ICSE15_SequenceDiagram_MAVOFactoryImpl.java
ICSE15_SequenceDiagram_MAVOPackageImpl.java
LifelineImpl.java
MessageImpl.java
NamedElementImpl.java
OperationImpl.java
OperationReferenceImpl.java
SequenceDiagramImpl.java
SourceLifelineReferenceImpl.java
TargetLifelineReferenceImpl.java
util
ICSE15_SequenceDiagram_MAVOAdapterFactory.java
ICSE15_SequenceDiagram_MAVOSwitch.java
edu.toronto.cs.se.modelepedia.icse15_sequencediagram_mavo.diagram
src-gen
edu
toronto
cs
se
modelepedia
icse15_sequencediagram_mavo
diagram
edit
commands
ClassCreateCommand.java
ClassReferenceCreateCommand.java
ClassReferenceReorientCommand.java
ICSE15_SequenceDiagram_MAVOCreateShortcutDecorationsCommand.java
LifelineCreateCommand.java
MessageCreateCommand.java
OperationCreateCommand.java
OperationReferenceCreateCommand.java
OperationReferenceReorientCommand.java
SourceLifelineReferenceCreateCommand.java
SourceLifelineReferenceReorientCommand.java
TargetLifelineReferenceCreateCommand.java
TargetLifelineReferenceReorientCommand.java
helpers
ClassEditHelper.java
ClassReferenceEditHelper.java
ICSE15_SequenceDiagram_MAVOBaseEditHelper.java
LifelineEditHelper.java
MessageEditHelper.java
OperationEditHelper.java
OperationReferenceEditHelper.java
SequenceDiagramEditHelper.java
SourceLifelineReferenceEditHelper.java
TargetLifelineReferenceEditHelper.java
parts
ClassClassOperationsCompartmentEditPart.java
ClassEditPart.java
ClassNameEditPart.java
ClassReferenceEditPart.java
ICSE15_SequenceDiagram_MAVOEditPartFactory.java
LifelineEditPart.java
LifelineNameEditPart.java
MessageEditPart.java
MessageNameEditPart.java
OperationEditPart.java
OperationNameEditPart.java
OperationReferenceEditPart.java
SequenceDiagramEditPart.java
SourceLifelineReferenceEditPart.java
TargetLifelineReferenceEditPart.java
WrappingLabel2EditPart.java
WrappingLabel3EditPart.java
WrappingLabel4EditPart.java
WrappingLabel5EditPart.java
WrappingLabel6EditPart.java
WrappingLabel7EditPart.java
WrappingLabel8EditPart.java
WrappingLabelEditPart.java
policies
ClassClassOperationsCompartmentCanonicalEditPolicy.java
ClassClassOperationsCompartmentItemSemanticEditPolicy.java
ClassItemSemanticEditPolicy.java
ClassReferenceItemSemanticEditPolicy.java
ICSE15_SequenceDiagram_MAVOBaseItemSemanticEditPolicy.java
ICSE15_SequenceDiagram_MAVOTextNonResizableEditPolicy.java
ICSE15_SequenceDiagram_MAVOTextSelectionEditPolicy.java
LifelineItemSemanticEditPolicy.java
MessageItemSemanticEditPolicy.java
OpenDiagramEditPolicy.java
OperationItemSemanticEditPolicy.java
OperationReferenceItemSemanticEditPolicy.java
SequenceDiagramCanonicalEditPolicy.java
SequenceDiagramItemSemanticEditPolicy.java
SourceLifelineReferenceItemSemanticEditPolicy.java
TargetLifelineReferenceItemSemanticEditPolicy.java
navigator
ICSE15_SequenceDiagram_MAVOAbstractNavigatorItem.java
ICSE15_SequenceDiagram_MAVODomainNavigatorContentProvider.java
ICSE15_SequenceDiagram_MAVODomainNavigatorItem.java
ICSE15_SequenceDiagram_MAVODomainNavigatorLabelProvider.java
ICSE15_SequenceDiagram_MAVONavigatorActionProvider.java
ICSE15_SequenceDiagram_MAVONavigatorContentProvider.java
ICSE15_SequenceDiagram_MAVONavigatorGroup.java
ICSE15_SequenceDiagram_MAVONavigatorItem.java
ICSE15_SequenceDiagram_MAVONavigatorLabelProvider.java
ICSE15_SequenceDiagram_MAVONavigatorLinkHelper.java
ICSE15_SequenceDiagram_MAVONavigatorSorter.java
parsers
AbstractParser.java
MessageFormatParser.java
part
DeleteElementAction.java
DiagramEditorContextMenuProvider.java
ICSE15_SequenceDiagram_MAVOCreationWizard.java
ICSE15_SequenceDiagram_MAVOCreationWizardPage.java
ICSE15_SequenceDiagram_MAVODiagramActionBarContributor.java
ICSE15_SequenceDiagram_MAVODiagramEditor.java
ICSE15_SequenceDiagram_MAVODiagramEditorPlugin.java
ICSE15_SequenceDiagram_MAVODiagramEditorUtil.java
ICSE15_SequenceDiagram_MAVODiagramUpdateCommand.java
ICSE15_SequenceDiagram_MAVODiagramUpdater.java
ICSE15_SequenceDiagram_MAVODocumentProvider.java
ICSE15_SequenceDiagram_MAVOElementChooserDialog.java
ICSE15_SequenceDiagram_MAVOInitDiagramFileAction.java
ICSE15_SequenceDiagram_MAVOLinkDescriptor.java
ICSE15_SequenceDiagram_MAVOMatchingStrategy.java
ICSE15_SequenceDiagram_MAVONewDiagramFileWizard.java
ICSE15_SequenceDiagram_MAVONodeDescriptor.java
ICSE15_SequenceDiagram_MAVOPaletteFactory.java
ICSE15_SequenceDiagram_MAVOShortcutPropertyTester.java
ICSE15_SequenceDiagram_MAVOUriEditorInputTester.java
ICSE15_SequenceDiagram_MAVOVisualIDRegistry.java
LoadResourceAction.java
Messages.java
ModelElementSelectionPage.java
ValidateAction.java
preferences
DiagramAppearancePreferencePage.java
DiagramConnectionsPreferencePage.java
DiagramGeneralPreferencePage.java
DiagramPreferenceInitializer.java
DiagramPrintingPreferencePage.java
DiagramRulersAndGridPreferencePage.java
providers
ElementInitializers.java
ICSE15_SequenceDiagram_MAVOEditPartProvider.java
ICSE15_SequenceDiagram_MAVOElementTypes.java
ICSE15_SequenceDiagram_MAVOIconProvider.java
ICSE15_SequenceDiagram_MAVOMarkerNavigationProvider.java
ICSE15_SequenceDiagram_MAVOModelingAssistantProvider.java
ICSE15_SequenceDiagram_MAVOParserProvider.java
ICSE15_SequenceDiagram_MAVOShortcutsDecoratorProvider.java
ICSE15_SequenceDiagram_MAVOValidationDecoratorProvider.java
ICSE15_SequenceDiagram_MAVOValidationProvider.java
ICSE15_SequenceDiagram_MAVOViewProvider.java
assistants
ICSE15_SequenceDiagram_MAVOModelingAssistantProviderOfClassEditPart.java
ICSE15_SequenceDiagram_MAVOModelingAssistantProviderOfLifelineEditPart.java
ICSE15_SequenceDiagram_MAVOModelingAssistantProviderOfMessageEditPart.java
ICSE15_SequenceDiagram_MAVOModelingAssistantProviderOfOperationEditPart.java
ICSE15_SequenceDiagram_MAVOModelingAssistantProviderOfSequenceDiagramEditPart.java
sheet
ICSE15_SequenceDiagram_MAVOPropertySection.java
ICSE15_SequenceDiagram_MAVOSheetLabelProvider.java
edu.toronto.cs.se.modelepedia.icse15_sequencediagram_mavo.edit
src-gen
edu
toronto
cs
se
modelepedia
icse15_sequencediagram_mavo
provider
ClassItemProvider.java
ClassReferenceItemProvider.java
ICSE15_SequenceDiagram_MAVOEditPlugin.java
ICSE15_SequenceDiagram_MAVOItemProviderAdapterFactory.java
LifelineItemProvider.java
MessageItemProvider.java
NamedElementItemProvider.java
OperationItemProvider.java
OperationReferenceItemProvider.java
SequenceDiagramItemProvider.java
SourceLifelineReferenceItemProvider.java
TargetLifelineReferenceItemProvider.java
edu.toronto.cs.se.modelepedia.icse15_sequencediagram_mavo.editor
src-gen
edu
toronto
cs
se
modelepedia
icse15_sequencediagram_mavo
presentation
ICSE15_SequenceDiagram_MAVOActionBarContributor.java
ICSE15_SequenceDiagram_MAVOEditor.java
ICSE15_SequenceDiagram_MAVOEditorPlugin.java
ICSE15_SequenceDiagram_MAVOModelWizard.java
MODELS15
edu.toronto.cs.se.modelepedia.models15
src
edu
toronto
cs
se
modelepedia
models15
operator
CD2Java.java
CD2JavaCheck.java
Java2File.java
Java2File_M2T.java
MODELS15.java
edu.toronto.cs.se.modelepedia.models15_java
src-gen
edu
toronto
cs
se
modelepedia
models15_java
Class.java
MODELS15_JavaFactory.java
MODELS15_JavaPackage.java
NamedElement.java
Package.java
impl
ClassImpl.java
MODELS15_JavaFactoryImpl.java
MODELS15_JavaPackageImpl.java
NamedElementImpl.java
PackageImpl.java
util
MODELS15_JavaAdapterFactory.java
MODELS15_JavaSwitch.java
edu.toronto.cs.se.modelepedia.models15_java.edit
src-gen
edu
toronto
cs
se
modelepedia
models15_java
provider
ClassItemProvider.java
MODELS15_JavaEditPlugin.java
MODELS15_JavaItemProviderAdapterFactory.java
NamedElementItemProvider.java
PackageItemProvider.java
edu.toronto.cs.se.modelepedia.models15_java.editor
src-gen
edu
toronto
cs
se
modelepedia
models15_java
presentation
MODELS15_JavaActionBarContributor.java
MODELS15_JavaEditor.java
MODELS15_JavaEditorPlugin.java
MODELS15_JavaModelWizard.java
NECSIS13
edu.toronto.cs.se.modelepedia.necsis13
src
edu
toronto
cs
se
modelepedia
necsis13
operator
DummyJavaOpt.java
DummyUML2Java.java
NECSIS14
edu.toronto.cs.se.modelepedia.necsis14_classdiagram
src-gen
edu
toronto
cs
se
modelepedia
necsis14_classdiagram
Association.java
Attribute.java
Class.java
ClassDiagram.java
NECSIS14_ClassDiagramFactory.java
NECSIS14_ClassDiagramPackage.java
NamedElement.java
impl
AssociationImpl.java
AttributeImpl.java
ClassDiagramImpl.java
ClassImpl.java
NECSIS14_ClassDiagramFactoryImpl.java
NECSIS14_ClassDiagramPackageImpl.java
NamedElementImpl.java
util
NECSIS14_ClassDiagramAdapterFactory.java
NECSIS14_ClassDiagramSwitch.java
edu.toronto.cs.se.modelepedia.necsis14_classdiagram.diagram
src-gen
edu
toronto
cs
se
modelepedia
necsis14_classdiagram
diagram
edit
commands
AssociationCreateCommand.java
AssociationReorientCommand.java
AttributeCreateCommand.java
ClassCreateCommand.java
ClassParentCreateCommand.java
ClassParentReorientCommand.java
NECSIS14_ClassDiagramCreateShortcutDecorationsCommand.java
helpers
AssociationEditHelper.java
AttributeEditHelper.java
ClassDiagramEditHelper.java
ClassEditHelper.java
NECSIS14_ClassDiagramBaseEditHelper.java
parts
AssociationEditPart.java
AssociationNameEditPart.java
AttributeEditPart.java
AttributeNameEditPart.java
ClassClassAttributesCompartmentEditPart.java
ClassDiagramEditPart.java
ClassEditPart.java
ClassNameEditPart.java
ClassParentEditPart.java
NECSIS14_ClassDiagramEditPartFactory.java
WrappingLabelEditPart.java
policies
AssociationItemSemanticEditPolicy.java
AttributeItemSemanticEditPolicy.java
ClassClassAttributesCompartmentCanonicalEditPolicy.java
ClassClassAttributesCompartmentItemSemanticEditPolicy.java
ClassDiagramCanonicalEditPolicy.java
ClassDiagramItemSemanticEditPolicy.java
ClassItemSemanticEditPolicy.java
ClassParentItemSemanticEditPolicy.java
NECSIS14_ClassDiagramBaseItemSemanticEditPolicy.java
NECSIS14_ClassDiagramTextNonResizableEditPolicy.java
NECSIS14_ClassDiagramTextSelectionEditPolicy.java
OpenDiagramEditPolicy.java
navigator
NECSIS14_ClassDiagramAbstractNavigatorItem.java
NECSIS14_ClassDiagramDomainNavigatorContentProvider.java
NECSIS14_ClassDiagramDomainNavigatorItem.java
NECSIS14_ClassDiagramDomainNavigatorLabelProvider.java
NECSIS14_ClassDiagramNavigatorActionProvider.java
NECSIS14_ClassDiagramNavigatorContentProvider.java
NECSIS14_ClassDiagramNavigatorGroup.java
NECSIS14_ClassDiagramNavigatorItem.java
NECSIS14_ClassDiagramNavigatorLabelProvider.java
NECSIS14_ClassDiagramNavigatorLinkHelper.java
NECSIS14_ClassDiagramNavigatorSorter.java
parsers
AbstractParser.java
MessageFormatParser.java
part
DeleteElementAction.java
DiagramEditorContextMenuProvider.java
LoadResourceAction.java
Messages.java
ModelElementSelectionPage.java
NECSIS14_ClassDiagramCreationWizard.java
NECSIS14_ClassDiagramCreationWizardPage.java
NECSIS14_ClassDiagramDiagramActionBarContributor.java
NECSIS14_ClassDiagramDiagramEditor.java
NECSIS14_ClassDiagramDiagramEditorPlugin.java
NECSIS14_ClassDiagramDiagramEditorUtil.java
NECSIS14_ClassDiagramDiagramUpdateCommand.java
NECSIS14_ClassDiagramDiagramUpdater.java
NECSIS14_ClassDiagramDocumentProvider.java
NECSIS14_ClassDiagramElementChooserDialog.java
NECSIS14_ClassDiagramInitDiagramFileAction.java
NECSIS14_ClassDiagramLinkDescriptor.java
NECSIS14_ClassDiagramMatchingStrategy.java
NECSIS14_ClassDiagramNewDiagramFileWizard.java
NECSIS14_ClassDiagramNodeDescriptor.java
NECSIS14_ClassDiagramPaletteFactory.java
NECSIS14_ClassDiagramShortcutPropertyTester.java
NECSIS14_ClassDiagramUriEditorInputTester.java
NECSIS14_ClassDiagramVisualIDRegistry.java
ValidateAction.java
preferences
DiagramAppearancePreferencePage.java
DiagramConnectionsPreferencePage.java
DiagramGeneralPreferencePage.java
DiagramPreferenceInitializer.java
DiagramPrintingPreferencePage.java
DiagramRulersAndGridPreferencePage.java
providers
ElementInitializers.java
NECSIS14_ClassDiagramEditPartProvider.java
NECSIS14_ClassDiagramElementTypes.java
NECSIS14_ClassDiagramIconProvider.java
NECSIS14_ClassDiagramMarkerNavigationProvider.java
NECSIS14_ClassDiagramModelingAssistantProvider.java
NECSIS14_ClassDiagramParserProvider.java
NECSIS14_ClassDiagramShortcutsDecoratorProvider.java
NECSIS14_ClassDiagramValidationDecoratorProvider.java
NECSIS14_ClassDiagramValidationProvider.java
NECSIS14_ClassDiagramViewProvider.java
assistants
NECSIS14_ClassDiagramModelingAssistantProviderOfAttributeEditPart.java
NECSIS14_ClassDiagramModelingAssistantProviderOfClassDiagramEditPart.java
NECSIS14_ClassDiagramModelingAssistantProviderOfClassEditPart.java
sheet
NECSIS14_ClassDiagramPropertySection.java
NECSIS14_ClassDiagramSheetLabelProvider.java
edu.toronto.cs.se.modelepedia.necsis14_classdiagram.edit
src-gen
edu
toronto
cs
se
modelepedia
necsis14_classdiagram
provider
AssociationItemProvider.java
AttributeItemProvider.java
ClassDiagramItemProvider.java
ClassItemProvider.java
NECSIS14_ClassDiagramEditPlugin.java
NECSIS14_ClassDiagramItemProviderAdapterFactory.java
NamedElementItemProvider.java
edu.toronto.cs.se.modelepedia.necsis14_classdiagram.editor
src-gen
edu
toronto
cs
se
modelepedia
necsis14_classdiagram
presentation
NECSIS14_ClassDiagramActionBarContributor.java
NECSIS14_ClassDiagramEditor.java
NECSIS14_ClassDiagramEditorPlugin.java
NECSIS14_ClassDiagramModelWizard.java
edu.toronto.cs.se.modelepedia.necsis14_databaseschema
src-gen
edu
toronto
cs
se
modelepedia
necsis14_databaseschema
Column.java
DatabaseSchema.java
NECSIS14_DatabaseSchemaFactory.java
NECSIS14_DatabaseSchemaPackage.java
NamedElement.java
Table.java
impl
ColumnImpl.java
DatabaseSchemaImpl.java
NECSIS14_DatabaseSchemaFactoryImpl.java
NECSIS14_DatabaseSchemaPackageImpl.java
NamedElementImpl.java
TableImpl.java
util
NECSIS14_DatabaseSchemaAdapterFactory.java
NECSIS14_DatabaseSchemaSwitch.java
edu.toronto.cs.se.modelepedia.necsis14_databaseschema.diagram
src-gen
edu
toronto
cs
se
modelepedia
necsis14_databaseschema
diagram
edit
commands
ColumnCreateCommand.java
NECSIS14_DatabaseSchemaCreateShortcutDecorationsCommand.java
TableCreateCommand.java
helpers
ColumnEditHelper.java
DatabaseSchemaEditHelper.java
NECSIS14_DatabaseSchemaBaseEditHelper.java
TableEditHelper.java
parts
ColumnEditPart.java
ColumnNameEditPart.java
DatabaseSchemaEditPart.java
NECSIS14_DatabaseSchemaEditPartFactory.java
TableEditPart.java
TableNameEditPart.java
TableTableColumnsCompartmentEditPart.java
policies
ColumnItemSemanticEditPolicy.java
DatabaseSchemaCanonicalEditPolicy.java
DatabaseSchemaItemSemanticEditPolicy.java
NECSIS14_DatabaseSchemaBaseItemSemanticEditPolicy.java
NECSIS14_DatabaseSchemaTextNonResizableEditPolicy.java
NECSIS14_DatabaseSchemaTextSelectionEditPolicy.java
OpenDiagramEditPolicy.java
TableItemSemanticEditPolicy.java
TableTableColumnsCompartmentCanonicalEditPolicy.java
TableTableColumnsCompartmentItemSemanticEditPolicy.java
navigator
NECSIS14_DatabaseSchemaAbstractNavigatorItem.java
NECSIS14_DatabaseSchemaDomainNavigatorContentProvider.java
NECSIS14_DatabaseSchemaDomainNavigatorItem.java
NECSIS14_DatabaseSchemaDomainNavigatorLabelProvider.java
NECSIS14_DatabaseSchemaNavigatorActionProvider.java
NECSIS14_DatabaseSchemaNavigatorContentProvider.java
NECSIS14_DatabaseSchemaNavigatorGroup.java
NECSIS14_DatabaseSchemaNavigatorItem.java
NECSIS14_DatabaseSchemaNavigatorLabelProvider.java
NECSIS14_DatabaseSchemaNavigatorLinkHelper.java
NECSIS14_DatabaseSchemaNavigatorSorter.java
parsers
AbstractParser.java
MessageFormatParser.java
part
DeleteElementAction.java
DiagramEditorContextMenuProvider.java
LoadResourceAction.java
Messages.java
ModelElementSelectionPage.java
NECSIS14_DatabaseSchemaCreationWizard.java
NECSIS14_DatabaseSchemaCreationWizardPage.java
NECSIS14_DatabaseSchemaDiagramActionBarContributor.java
NECSIS14_DatabaseSchemaDiagramEditor.java
NECSIS14_DatabaseSchemaDiagramEditorPlugin.java
NECSIS14_DatabaseSchemaDiagramEditorUtil.java
NECSIS14_DatabaseSchemaDiagramUpdateCommand.java
NECSIS14_DatabaseSchemaDiagramUpdater.java
NECSIS14_DatabaseSchemaDocumentProvider.java
NECSIS14_DatabaseSchemaElementChooserDialog.java
NECSIS14_DatabaseSchemaInitDiagramFileAction.java
NECSIS14_DatabaseSchemaLinkDescriptor.java
NECSIS14_DatabaseSchemaMatchingStrategy.java
NECSIS14_DatabaseSchemaNewDiagramFileWizard.java
NECSIS14_DatabaseSchemaNodeDescriptor.java
NECSIS14_DatabaseSchemaPaletteFactory.java
NECSIS14_DatabaseSchemaShortcutPropertyTester.java
NECSIS14_DatabaseSchemaUriEditorInputTester.java
NECSIS14_DatabaseSchemaVisualIDRegistry.java
ValidateAction.java
preferences
DiagramAppearancePreferencePage.java
DiagramConnectionsPreferencePage.java
DiagramGeneralPreferencePage.java
DiagramPreferenceInitializer.java
DiagramPrintingPreferencePage.java
DiagramRulersAndGridPreferencePage.java
providers
ElementInitializers.java
NECSIS14_DatabaseSchemaEditPartProvider.java
NECSIS14_DatabaseSchemaElementTypes.java
NECSIS14_DatabaseSchemaIconProvider.java
NECSIS14_DatabaseSchemaMarkerNavigationProvider.java
NECSIS14_DatabaseSchemaModelingAssistantProvider.java
NECSIS14_DatabaseSchemaParserProvider.java
NECSIS14_DatabaseSchemaShortcutsDecoratorProvider.java
NECSIS14_DatabaseSchemaValidationDecoratorProvider.java
NECSIS14_DatabaseSchemaValidationProvider.java
NECSIS14_DatabaseSchemaViewProvider.java
assistants
NECSIS14_DatabaseSchemaModelingAssistantProviderOfColumnEditPart.java
NECSIS14_DatabaseSchemaModelingAssistantProviderOfDatabaseSchemaEditPart.java
NECSIS14_DatabaseSchemaModelingAssistantProviderOfTableEditPart.java
sheet
NECSIS14_DatabaseSchemaPropertySection.java
NECSIS14_DatabaseSchemaSheetLabelProvider.java
edu.toronto.cs.se.modelepedia.necsis14_databaseschema.edit
src-gen
edu
toronto
cs
se
modelepedia
necsis14_databaseschema
provider
ColumnItemProvider.java
DatabaseSchemaItemProvider.java
NECSIS14_DatabaseSchemaEditPlugin.java
NECSIS14_DatabaseSchemaItemProviderAdapterFactory.java
NamedElementItemProvider.java
TableItemProvider.java
edu.toronto.cs.se.modelepedia.necsis14_databaseschema.editor
src-gen
edu
toronto
cs
se
modelepedia
necsis14_databaseschema
presentation
NECSIS14_DatabaseSchemaActionBarContributor.java
NECSIS14_DatabaseSchemaEditor.java
NECSIS14_DatabaseSchemaEditorPlugin.java
NECSIS14_DatabaseSchemaModelWizard.java
plugins
Core
edu.toronto.cs.se.mmint
src
edu
toronto
cs
se
mmint
MIDHeavyTypeFactory.java
MIDTypeHierarchy.java
MIDTypeRegistry.java
MMINT.java
MMINTActivator.java
MMINTConstants.java
MMINTException.java
extensions
EditorExtensionPointListener.java
ExtensionPointType.java
MMINTExtensionPointListener.java
ModelExtensionPointListener.java
ModelRelExtensionPointListener.java
OperatorExtensionPointListener.java
ReasonerExtensionPointListener.java
mid
reasoning
IReasoningEngine.java
MIDConstraintChecker.java
ui
EditorCreationWizardDialog.java
GMFUtils.java
ImportModelDialogFilter.java
ImportModelDialogSelectionValidator.java
MIDDialogCancellation.java
MIDDialogLabelProvider.java
MIDDialogs.java
MIDTreeSelectionDialog.java
ModelElementLabelProvider.java
NewGenericTypeDialogContentProvider.java
NewMappingReferenceDialogContentProvider.java
NewMappingTypeReferenceDialogContentProvider.java
NewModelDialogContentProvider.java
NewModelDialogSelectionValidator.java
NewModelElementEndpointReferenceDialogContentProvider.java
NewModelEndpointDialogContentProvider.java
NewModelRelDialogContentProvider.java
NewModelRelTypeDialogContentProvider.java
NewModelTypeDialogContentProvider.java
NewOperatorTypeDialogFilter.java
NewOperatorTypeDialogSelectionValidator.java
NewWorkflowModelDialogContentProvider.java
utils
FileUtils.java
MIDEcoreUtil.java
MIDOperatorIOUtils.java
MIDRegistry.java
MIDTypeFactory.java
PrimitiveEObjectWrapper.java
src-gen
edu
toronto
cs
se
mmint
mid
EMFInfo.java
ExtendibleElement.java
ExtendibleElementConstraint.java
ExtendibleElementEndpoint.java
GenericElement.java
MID.java
MIDFactory.java
MIDLevel.java
MIDPackage.java
Model.java
ModelElement.java
ModelEndpoint.java
ModelOrigin.java
editor
Diagram.java
Editor.java
EditorFactory.java
EditorPackage.java
impl
DiagramImpl.java
EditorFactoryImpl.java
EditorImpl.java
EditorPackageImpl.java
util
EditorAdapterFactory.java
EditorSwitch.java
impl
EMFInfoImpl.java
EStringToExtendibleElementMapImpl.java
ExtendibleElementConstraintImpl.java
ExtendibleElementEndpointImpl.java
ExtendibleElementImpl.java
GenericElementImpl.java
MIDFactoryImpl.java
MIDImpl.java
MIDPackageImpl.java
ModelElementImpl.java
ModelEndpointImpl.java
ModelImpl.java
operator
ConversionOperator.java
GenericEndpoint.java
Operator.java
OperatorConstraint.java
OperatorConstraintParameter.java
OperatorConstraintRule.java
OperatorFactory.java
OperatorGeneric.java
OperatorInput.java
OperatorPackage.java
RandomOperator.java
WorkflowOperator.java
impl
ConversionOperatorImpl.java
GenericEndpointImpl.java
OperatorConstraintImpl.java
OperatorConstraintParameterImpl.java
OperatorConstraintRuleImpl.java
OperatorFactoryImpl.java
OperatorGenericImpl.java
OperatorImpl.java
OperatorInputImpl.java
OperatorPackageImpl.java
RandomOperatorImpl.java
WorkflowOperatorImpl.java
util
OperatorAdapterFactory.java
OperatorSwitch.java
relationship
BinaryMapping.java
BinaryMappingReference.java
BinaryModelRel.java
ExtendibleElementEndpointReference.java
ExtendibleElementReference.java
Mapping.java
MappingReference.java
ModelElementEndpoint.java
ModelElementEndpointReference.java
ModelElementReference.java
ModelEndpointReference.java
ModelRel.java
RelationshipFactory.java
RelationshipPackage.java
impl
BinaryMappingImpl.java
BinaryMappingReferenceImpl.java
BinaryModelRelImpl.java
ExtendibleElementEndpointReferenceImpl.java
ExtendibleElementReferenceImpl.java
MappingImpl.java
MappingReferenceImpl.java
ModelElementEndpointImpl.java
ModelElementEndpointReferenceImpl.java
ModelElementReferenceImpl.java
ModelEndpointReferenceImpl.java
ModelRelImpl.java
RelationshipFactoryImpl.java
RelationshipPackageImpl.java
util
RelationshipAdapterFactory.java
RelationshipSwitch.java
util
MIDAdapterFactory.java
MIDSwitch.java
edu.toronto.cs.se.mmint.diagram
src
edu
toronto
cs
se
mmint
mid
diagram
context
MIDContextCastTypeListener.java
MIDContextCheckCoherenceListener.java
MIDContextCheckConstraintListener.java
MIDContextCopyModelListener.java
MIDContextEditModelepediaListener.java
MIDContextMenu.java
MIDContextOpenModelepediaListener.java
MIDContextRefineByConstraintListener.java
MIDContextRunOperatorListener.java
edit
commands
BinaryModelRelChangeModelEndpointCommand.java
BinaryModelRelDelCommand.java
BinaryModelRelNewBinaryRelCommand.java
ModelDelCommand.java
ModelImportModelCommand.java
ModelNewModelCommand.java
ModelOpenEditorCommand.java
ModelRelAddModelEndpointCommand.java
ModelRelChangeModelEndpointCommand.java
ModelRelDelCommand.java
ModelRelImportNaryRelCommand.java
ModelRelNewNaryRelCommand.java
ModelRelRemoveModelEndpointCommand.java
OperatorDelCommand.java
OperatorNewOperatorCommand.java
OperatorOpenEditorCommand.java
policies
BinaryModelRelSemanticEditPolicy.java
ExtendibleElementSupertypeSemanticEditPolicy.java
MIDDiagramSemanticEditPolicy.java
ModelCreatedSemanticEditPolicy.java
ModelImportedSemanticEditPolicy.java
ModelOpenEditorEditPolicy.java
ModelRelCreatedSemanticEditPolicy.java
ModelRelImportedSemanticEditPolicy.java
ModelRelModelEndpointSemanticEditPolicy.java
OperatorModelEndpointInputSemanticEditPolicy.java
OperatorModelEndpointOutputSemanticEditPolicy.java
OperatorOpenEditorEditPolicy.java
OperatorSemanticEditPolicy.java
library
AddModifyConstraintListener.java
BinaryModelRelSourceModelEndpointLabelParser.java
BinaryModelRelTargetModelEndpointLabelParser.java
ExtendibleElementEndpointLabelParser.java
ExtendibleElementLabelParser.java
MIDContextMenuListener.java
MIDDiagramCustomLabelParser.java
MIDDiagramLabelParser.java
MIDDiagramUtils.java
menu
MMINTAppearanceMenus.java
MMINTLanguageReasonersMenu.java
MMINTOpenTypeMIDMenu.java
MMINTOpenWikiMenu.java
providers
MIDDiagramViewProvider.java
src-gen
edu
toronto
cs
se
mmint
mid
diagram
edit
commands
BinaryModelRelCreateCommand.java
BinaryModelRelReorientCommand.java
ExtendibleElementSupertypeCreateCommand.java
ExtendibleElementSupertypeReorientCommand.java
MIDCreateShortcutDecorationsCommand.java
Model2CreateCommand.java
ModelCreateCommand.java
ModelEndpoint2CreateCommand.java
ModelEndpoint2ReorientCommand.java
ModelEndpoint3CreateCommand.java
ModelEndpoint3ReorientCommand.java
ModelEndpointCreateCommand.java
ModelEndpointReorientCommand.java
ModelRel2CreateCommand.java
ModelRelCreateCommand.java
OperatorCreateCommand.java
helpers
BinaryModelRelEditHelper.java
MIDBaseEditHelper.java
MIDEditHelper.java
ModelEditHelper.java
ModelEndpointEditHelper.java
ModelRelEditHelper.java
OperatorEditHelper.java
parts
BinaryModelRelEditPart.java
ExtendibleElementSupertypeEditPart.java
MIDEditPart.java
MIDEditPartFactory.java
Model2EditPart.java
ModelEditPart.java
ModelEndpoint2EditPart.java
ModelEndpoint3EditPart.java
ModelEndpointEditPart.java
ModelEndpointName2EditPart.java
ModelEndpointNameEditPart.java
ModelRel2EditPart.java
ModelRelEditPart.java
OperatorEditPart.java
WrappingLabel10EditPart.java
WrappingLabel11EditPart.java
WrappingLabel12EditPart.java
WrappingLabel13EditPart.java
WrappingLabel14EditPart.java
WrappingLabel15EditPart.java
WrappingLabel2EditPart.java
WrappingLabel3EditPart.java
WrappingLabel4EditPart.java
WrappingLabel5EditPart.java
WrappingLabel6EditPart.java
WrappingLabel7EditPart.java
WrappingLabel8EditPart.java
WrappingLabel9EditPart.java
WrappingLabelEditPart.java
policies
BinaryModelRelItemSemanticEditPolicy.java
ExtendibleElementSupertypeItemSemanticEditPolicy.java
MIDBaseItemSemanticEditPolicy.java
MIDCanonicalEditPolicy.java
MIDItemSemanticEditPolicy.java
MIDTextNonResizableEditPolicy.java
MIDTextSelectionEditPolicy.java
Model2ItemSemanticEditPolicy.java
ModelEndpoint2ItemSemanticEditPolicy.java
ModelEndpoint3ItemSemanticEditPolicy.java
ModelEndpointItemSemanticEditPolicy.java
ModelItemSemanticEditPolicy.java
ModelOpenDiagramEditPolicy.java
ModelRel2ItemSemanticEditPolicy.java
ModelRelItemSemanticEditPolicy.java
ModelRelOpenDiagramEditPolicy.java
OperatorItemSemanticEditPolicy.java
OperatorOpenDiagramEditPolicy.java
expressions
MIDAbstractExpression.java
MIDOCLFactory.java
navigator
MIDAbstractNavigatorItem.java
MIDDomainNavigatorContentProvider.java
MIDDomainNavigatorItem.java
MIDDomainNavigatorLabelProvider.java
MIDNavigatorActionProvider.java
MIDNavigatorContentProvider.java
MIDNavigatorGroup.java
MIDNavigatorItem.java
MIDNavigatorLabelProvider.java
MIDNavigatorLinkHelper.java
MIDNavigatorSorter.java
parsers
AbstractParser.java
MessageFormatParser.java
part
CreateShortcutAction.java
DeleteElementAction.java
DiagramEditorContextMenuProvider.java
LoadResourceAction.java
MIDCreationWizard.java
MIDCreationWizardPage.java
MIDDiagramActionBarContributor.java
MIDDiagramEditor.java
MIDDiagramEditorPlugin.java
MIDDiagramEditorUtil.java
MIDDiagramUpdateCommand.java
MIDDiagramUpdater.java
MIDDocumentProvider.java
MIDElementChooserDialog.java
MIDInitDiagramFileAction.java
MIDLinkDescriptor.java
MIDMatchingStrategy.java
MIDNewDiagramFileWizard.java
MIDNodeDescriptor.java
MIDPaletteFactory.java
MIDShortcutPropertyTester.java
MIDUriEditorInputTester.java
MIDVisualIDRegistry.java
Messages.java
ModelElementSelectionPage.java
ValidateAction.java
preferences
DiagramAppearancePreferencePage.java
DiagramConnectionsPreferencePage.java
DiagramGeneralPreferencePage.java
DiagramPreferenceInitializer.java
DiagramPrintingPreferencePage.java
DiagramRulersAndGridPreferencePage.java
providers
ElementInitializers.java
MIDEditPartProvider.java
MIDElementTypes.java
MIDIconProvider.java
MIDMarkerNavigationProvider.java
MIDModelingAssistantProvider.java
MIDParserProvider.java
MIDShortcutsDecoratorProvider.java
MIDValidationDecoratorProvider.java
MIDValidationProvider.java
MIDViewProvider.java
assistants
MIDModelingAssistantProviderOfMIDEditPart.java
MIDModelingAssistantProviderOfModel2EditPart.java
MIDModelingAssistantProviderOfModelEditPart.java
MIDModelingAssistantProviderOfModelRel2EditPart.java
MIDModelingAssistantProviderOfModelRelEditPart.java
MIDModelingAssistantProviderOfOperatorEditPart.java
sheet
MIDPropertySection.java
MIDSheetLabelProvider.java
edu.toronto.cs.se.mmint.ecore
src
edu
toronto
cs
se
modelepedia
ecore
ui
EcoreDiagramCreationWizardDialog.java
edu.toronto.cs.se.mmint.edit
src-gen
edu
toronto
cs
se
mmint
mid
editor
provider
DiagramItemProvider.java
EditorItemProvider.java
EditorItemProviderAdapterFactory.java
operator
provider
ConversionOperatorItemProvider.java
GenericEndpointItemProvider.java
OperatorConstraintItemProvider.java
OperatorConstraintParameterItemProvider.java
OperatorConstraintRuleItemProvider.java
OperatorGenericItemProvider.java
OperatorInputItemProvider.java
OperatorItemProvider.java
OperatorItemProviderAdapterFactory.java
RandomOperatorItemProvider.java
WorkflowOperatorItemProvider.java
provider
EMFInfoItemProvider.java
EStringToExtendibleElementMapItemProvider.java
ExtendibleElementConstraintItemProvider.java
ExtendibleElementEndpointItemProvider.java
ExtendibleElementItemProvider.java
GenericElementItemProvider.java
MIDEditPlugin.java
MIDItemProvider.java
MIDItemProviderAdapterFactory.java
ModelElementItemProvider.java
ModelEndpointItemProvider.java
ModelItemProvider.java
relationship
provider
BinaryMappingItemProvider.java
BinaryMappingReferenceItemProvider.java
BinaryModelRelItemProvider.java
ExtendibleElementEndpointReferenceItemProvider.java
ExtendibleElementReferenceItemProvider.java
MappingItemProvider.java
MappingReferenceItemProvider.java
ModelElementEndpointItemProvider.java
ModelElementEndpointReferenceItemProvider.java
ModelElementReferenceItemProvider.java
ModelEndpointReferenceItemProvider.java
ModelRelItemProvider.java
RelationshipItemProviderAdapterFactory.java
edu.toronto.cs.se.mmint.editor
src-gen
edu
toronto
cs
se
mmint
mid
editor
presentation
EditorActionBarContributor.java
EditorEditor.java
EditorModelWizard.java
operator
presentation
OperatorActionBarContributor.java
OperatorEditor.java
OperatorModelWizard.java
presentation
MIDActionBarContributor.java
MIDEditor.java
MIDEditorPlugin.java
MIDModelWizard.java
relationship
presentation
RelationshipActionBarContributor.java
RelationshipEditor.java
RelationshipModelWizard.java
edu.toronto.cs.se.mmint.java
src
edu
toronto
cs
se
mmint
java
reasoning
IJavaModelConstraint.java
IJavaOperatorInputConstraint.java
JavaReasoningEngine.java
edu.toronto.cs.se.mmint.operator
src
edu
toronto
cs
se
mmint
mid
constraint
MIDOperConstraint.java
MIDRelConstraint.java
MIDWorkflowConstraint.java
operator
Filter.java
Map.java
Reduce.java
Union.java
operator
merge
ModelRelComposition.java
ModelRelMerge.java
edu.toronto.cs.se.mmint.relationship.diagram
src
edu
toronto
cs
se
mmint
mid
relationship
diagram
edit
commands
BinaryMappingReferenceChangeModelElementReferenceCommand.java
BinaryMappingReferenceDelCommand.java
BinaryMappingReferenceNewBinaryMappingCommand.java
MappingReferenceAddModelElementEndpointReferenceCommand.java
MappingReferenceChangeModelElementEndpointReferenceCommand.java
MappingReferenceDelCommand.java
MappingReferenceNewNaryMappingCommand.java
MappingReferenceRemoveModelElementEndpointReferenceCommand.java
ModelElementReferenceDelCommand.java
ModelElementReferenceDropCommand.java
ModelEndpointReferenceDelCommand.java
ModelEndpointReferenceImportModelCommand.java
policies
BinaryMappingReferenceSemanticEditPolicy.java
BinaryMappingReferenceSuperSemanticEditPolicy.java
ExtendibleElementReferenceSupertypeRefSemanticEditPolicy.java
MappingReferenceSemanticEditPolicy.java
MappingReferenceSuperComponentEditPolicy.java
MappingReferenceSuperSemanticEditPolicy.java
ModelElementEndpointReferenceSemanticEditPolicy.java
ModelElementEndpointReferenceSuperSemanticEditPolicy.java
ModelElementReferenceHighlightEditPolicy.java
ModelElementReferenceSemanticEditPolicy.java
ModelElementReferenceSuperComponentEditPolicy.java
ModelElementReferenceSuperHighlightEditPolicy.java
ModelElementReferenceSuperSemanticEditPolicy.java
ModelEndpointReferenceComponentEditPolicy.java
ModelEndpointReferenceSemanticEditPolicy.java
ModelEndpointReferenceSuperComponentEditPolicy.java
ModelEndpointReferenceSuperSemanticEditPolicy.java
RelationshipDiagramCanonicalEditPolicy.java
RelationshipDiagramOutlineDragDropEditPolicy.java
RelationshipDiagramSemanticEditPolicy.java
library
BinaryMappingReferenceSourceModelElementEndpointReferenceLabelParser.java
BinaryMappingReferenceTargetModelElementEndpointReferenceLabelParser.java
ExtendibleElementEndpointReferenceLabelParser.java
ExtendibleElementReferenceLabelParser.java
RelationshipDiagramCustomLabelParser.java
part
RelationshipDiagramOutlineContentProvider.java
RelationshipDiagramOutlineDragListener.java
RelationshipDiagramOutlineDropListener.java
RelationshipDiagramOutlineDropObject.java
RelationshipDiagramOutlineEClassItemProvider.java
RelationshipDiagramOutlineItemProvider.java
RelationshipDiagramOutlinePage.java
providers
RelationshipDiagramViewProvider.java
src-gen
edu
toronto
cs
se
mmint
mid
relationship
diagram
edit
commands
BinaryMappingReference2CreateCommand.java
BinaryMappingReference2ReorientCommand.java
BinaryMappingReferenceCreateCommand.java
BinaryMappingReferenceReorientCommand.java
ExtendibleElementReferenceSupertypeRefCreateCommand.java
ExtendibleElementReferenceSupertypeRefReorientCommand.java
MIDCreateShortcutDecorationsCommand.java
MappingReference2CreateCommand.java
MappingReferenceCreateCommand.java
ModelElementEndpointReference2CreateCommand.java
ModelElementEndpointReference2ReorientCommand.java
ModelElementEndpointReferenceCreateCommand.java
ModelElementEndpointReferenceReorientCommand.java
ModelElementReference2CreateCommand.java
ModelElementReference3CreateCommand.java
ModelElementReferenceCreateCommand.java
ModelEndpointReference2CreateCommand.java
ModelEndpointReferenceCreateCommand.java
helpers
BinaryMappingReferenceEditHelper.java
MIDBaseEditHelper.java
MappingReferenceEditHelper.java
ModelElementEndpointReferenceEditHelper.java
ModelElementReferenceEditHelper.java
ModelEndpointReferenceEditHelper.java
ModelRelEditHelper.java
parts
BinaryMappingReference2EditPart.java
BinaryMappingReferenceEditPart.java
ExtendibleElementReferenceSupertypeRefEditPart.java
MIDEditPartFactory.java
MappingReference2EditPart.java
MappingReferenceEditPart.java
ModelElementEndpointReference2EditPart.java
ModelElementEndpointReferenceEditPart.java
ModelElementReference2EditPart.java
ModelElementReference3EditPart.java
ModelElementReferenceEditPart.java
ModelEndpointReference2EditPart.java
ModelEndpointReferenceEditPart.java
ModelEndpointReferenceModelEndpointReferenceCompartmentEditPart.java
ModelEndpointReferenceModelEndpointReferenceSuperCompartmentEditPart.java
ModelRelEditPart.java
WrappingLabel10EditPart.java
WrappingLabel11EditPart.java
WrappingLabel12EditPart.java
WrappingLabel13EditPart.java
WrappingLabel14EditPart.java
WrappingLabel15EditPart.java
WrappingLabel16EditPart.java
WrappingLabel17EditPart.java
WrappingLabel18EditPart.java
WrappingLabel19EditPart.java
WrappingLabel20EditPart.java
WrappingLabel21EditPart.java
WrappingLabel22EditPart.java
WrappingLabel23EditPart.java
WrappingLabel24EditPart.java
WrappingLabel25EditPart.java
WrappingLabel26EditPart.java
WrappingLabel2EditPart.java
WrappingLabel3EditPart.java
WrappingLabel4EditPart.java
WrappingLabel5EditPart.java
WrappingLabel6EditPart.java
WrappingLabel7EditPart.java
WrappingLabel8EditPart.java
WrappingLabel9EditPart.java
WrappingLabelEditPart.java
policies
BinaryMappingReference2ItemSemanticEditPolicy.java
BinaryMappingReferenceItemSemanticEditPolicy.java
ExtendibleElementReferenceSupertypeRefItemSemanticEditPolicy.java
MIDBaseItemSemanticEditPolicy.java
MIDTextNonResizableEditPolicy.java
MIDTextSelectionEditPolicy.java
MappingReference2ItemSemanticEditPolicy.java
MappingReferenceItemSemanticEditPolicy.java
ModelElementEndpointReference2ItemSemanticEditPolicy.java
ModelElementEndpointReferenceItemSemanticEditPolicy.java
ModelElementReference2ItemSemanticEditPolicy.java
ModelElementReference3ItemSemanticEditPolicy.java
ModelElementReferenceItemSemanticEditPolicy.java
ModelEndpointReference2ItemSemanticEditPolicy.java
ModelEndpointReferenceItemSemanticEditPolicy.java
ModelEndpointReferenceModelEndpointReferenceCompartmentCanonicalEditPolicy.java
ModelEndpointReferenceModelEndpointReferenceCompartmentItemSemanticEditPolicy.java
ModelEndpointReferenceModelEndpointReferenceSuperCompartmentCanonicalEditPolicy.java
ModelEndpointReferenceModelEndpointReferenceSuperCompartmentItemSemanticEditPolicy.java
ModelRelCanonicalEditPolicy.java
ModelRelItemSemanticEditPolicy.java
expressions
MIDAbstractExpression.java
MIDOCLFactory.java
navigator
MIDAbstractNavigatorItem.java
MIDDomainNavigatorContentProvider.java
MIDDomainNavigatorItem.java
MIDDomainNavigatorLabelProvider.java
MIDNavigatorActionProvider.java
MIDNavigatorContentProvider.java
MIDNavigatorGroup.java
MIDNavigatorItem.java
MIDNavigatorLabelProvider.java
MIDNavigatorLinkHelper.java
MIDNavigatorSorter.java
parsers
AbstractParser.java
MessageFormatParser.java
part
DeleteElementAction.java
DiagramEditorContextMenuProvider.java
LoadResourceAction.java
MIDCreationWizard.java
MIDCreationWizardPage.java
MIDDiagramActionBarContributor.java
MIDDiagramEditor.java
MIDDiagramEditorPlugin.java
MIDDiagramEditorUtil.java
MIDDiagramUpdateCommand.java
MIDDiagramUpdater.java
MIDDocumentProvider.java
MIDElementChooserDialog.java
MIDInitDiagramFileAction.java
MIDLinkDescriptor.java
MIDMatchingStrategy.java
MIDNewDiagramFileWizard.java
MIDNodeDescriptor.java
MIDPaletteFactory.java
MIDShortcutPropertyTester.java
MIDUriEditorInputTester.java
MIDVisualIDRegistry.java
Messages.java
ModelElementSelectionPage.java
ValidateAction.java
preferences
DiagramAppearancePreferencePage.java
DiagramConnectionsPreferencePage.java
DiagramGeneralPreferencePage.java
DiagramPreferenceInitializer.java
DiagramPrintingPreferencePage.java
DiagramRulersAndGridPreferencePage.java
providers
ElementInitializers.java
MIDEditPartProvider.java
MIDElementTypes.java
MIDIconProvider.java
MIDMarkerNavigationProvider.java
MIDModelingAssistantProvider.java
MIDParserProvider.java
MIDShortcutsDecoratorProvider.java
MIDValidationDecoratorProvider.java
MIDValidationProvider.java
MIDViewProvider.java
assistants
MIDModelingAssistantProviderOfMappingReference2EditPart.java
MIDModelingAssistantProviderOfMappingReferenceEditPart.java
MIDModelingAssistantProviderOfModelElementReference2EditPart.java
MIDModelingAssistantProviderOfModelElementReference3EditPart.java
MIDModelingAssistantProviderOfModelElementReferenceEditPart.java
MIDModelingAssistantProviderOfModelEndpointReference2EditPart.java
MIDModelingAssistantProviderOfModelEndpointReferenceEditPart.java
MIDModelingAssistantProviderOfModelRelEditPart.java
sheet
MIDPropertySection.java
MIDSheetLabelProvider.java
Core-Extensions
Kleisli
edu.toronto.cs.se.modelepedia.kleisli
src
edu
toronto
cs
se
modelepedia
kleisli
constraint
KleisliModelRelTypeConstraint.java
contextmenu
KleisliAddModifyQueryListener.java
KleisliRelationshipDiagramContextMenu.java
library
KleisliMIDHeavyTypeFactory.java
reasoning
KleisliReasoningEngine.java
transformation
KleisliModelRelTypeTransformation.java
src-gen
edu
toronto
cs
se
modelepedia
kleisli
BinaryKleisliModelRel.java
KleisliFactory.java
KleisliModel.java
KleisliModelEndpoint.java
KleisliModelEndpointReference.java
KleisliModelRel.java
KleisliPackage.java
impl
BinaryKleisliModelRelImpl.java
KleisliFactoryImpl.java
KleisliModelEndpointImpl.java
KleisliModelEndpointReferenceImpl.java
KleisliModelImpl.java
KleisliModelRelImpl.java
KleisliPackageImpl.java
util
KleisliAdapterFactory.java
KleisliSwitch.java
edu.toronto.cs.se.modelepedia.kleisli.edit
src-gen
edu
toronto
cs
se
modelepedia
kleisli
provider
BinaryKleisliModelRelItemProvider.java
KleisliEditPlugin.java
KleisliItemProviderAdapterFactory.java
KleisliModelEndpointItemProvider.java
KleisliModelEndpointReferenceItemProvider.java
KleisliModelItemProvider.java
KleisliModelRelItemProvider.java
MAVO
edu.toronto.cs.se.mavo
src-gen
edu
toronto
cs
se
mavo
DecisionElement.java
LogicElement.java
MAVOCollection.java
MAVODecision.java
MAVOElement.java
MAVOFactory.java
MAVOPackage.java
MAVOReference.java
MAVORoot.java
MayDecision.java
MayDecisionLogic.java
SetDecision.java
VarDecision.java
impl
DecisionElementImpl.java
LogicElementImpl.java
MAVOCollectionImpl.java
MAVODecisionImpl.java
MAVOElementImpl.java
MAVOFactoryImpl.java
MAVOPackageImpl.java
MAVOReferenceImpl.java
MAVORootImpl.java
MayDecisionImpl.java
SetDecisionImpl.java
VarDecisionImpl.java
util
MAVOAdapterFactory.java
MAVOSwitch.java
edu.toronto.cs.se.mavo.edit
src-gen
edu
toronto
cs
se
mavo
provider
DecisionElementItemProvider.java
LogicElementItemProvider.java
MAVOCollectionItemProvider.java
MAVODecisionItemProvider.java
MAVOEditPlugin.java
MAVOElementItemProvider.java
MAVOItemProviderAdapterFactory.java
MAVOReferenceItemProvider.java
MAVORootItemProvider.java
MayDecisionItemProvider.java
SetDecisionItemProvider.java
VarDecisionItemProvider.java
edu.toronto.cs.se.mmint.mavo
src
edu
toronto
cs
se
mmint
mavo
constraint
MAVOMIDConstraintChecker.java
MAVOModelConstraint.java
diagram
MAVODiagramEditor.java
context
MAVODiagramContextAddListener.java
MAVODiagramContextMenu.java
MAVODiagramContextRefineListener.java
MAVODiagramContextRemoveListener.java
outline
MAVODiagramOutlineContentProvider.java
MAVODiagramOutlineLabelProvider.java
MAVODiagramOutlinePage.java
context
MAVODiagramOutlineContextHighlightListener.java
MAVODiagramOutlineContextMenu.java
library
MAVOElementLabelParser.java
MAVOElementReferenceLabelParser.java
MAVOGMFDiagramUtils.java
MAVOMIDHeavyTypeFactory.java
MAVOUtils.java
reasoning
IMAVOReasoningEngine.java
src-gen
edu
toronto
cs
se
mmint
mavo
mavomid
BinaryMAVOMapping.java
BinaryMAVOMappingReference.java
BinaryMAVOModelRel.java
MAVOMIDFactory.java
MAVOMIDPackage.java
MAVOMapping.java
MAVOMappingReference.java
MAVOModel.java
MAVOModelElement.java
MAVOModelElementReference.java
MAVOModelEndpoint.java
MAVOModelEndpointReference.java
MAVOModelRel.java
impl
BinaryMAVOMappingImpl.java
BinaryMAVOMappingReferenceImpl.java
BinaryMAVOModelRelImpl.java
MAVOMIDFactoryImpl.java
MAVOMIDPackageImpl.java
MAVOMappingImpl.java
MAVOMappingReferenceImpl.java
MAVOModelElementImpl.java
MAVOModelElementReferenceImpl.java
MAVOModelEndpointImpl.java
MAVOModelEndpointReferenceImpl.java
MAVOModelImpl.java
MAVOModelRelImpl.java
util
MAVOMIDAdapterFactory.java
MAVOMIDSwitch.java
edu.toronto.cs.se.mmint.mavo.edit
src-gen
edu
toronto
cs
se
mmint
mavo
mavomid
provider
BinaryMAVOMappingItemProvider.java
BinaryMAVOMappingReferenceItemProvider.java
BinaryMAVOModelRelItemProvider.java
MAVOMIDEditPlugin.java
MAVOMIDItemProviderAdapterFactory.java
MAVOMappingItemProvider.java
MAVOMappingReferenceItemProvider.java
MAVOModelElementItemProvider.java
MAVOModelElementReferenceItemProvider.java
MAVOModelEndpointItemProvider.java
MAVOModelEndpointReferenceItemProvider.java
MAVOModelItemProvider.java
MAVOModelRelItemProvider.java
edu.toronto.cs.se.modelepedia.mavo.operator
src
edu
toronto
cs
se
modelepedia
mavo
operator
propagate
ChangePropagation.java
slice
ChangeImpact.java
Recommended
edu.toronto.cs.se.modelepedia.ocl
src
edu
toronto
cs
se
modelepedia
ocl
reasoning
OCLReasoningEngine.java
edu.toronto.cs.se.modelepedia.operator
src
edu
toronto
cs
se
modelepedia
operator
diff
ModelDifference.java
experiment
ExperimentDriver.java
ExperimentSamples.java
match
ModelMatch.java
merge
ModelMerge.java
Sum.java
patch
ATLConversionOperator.java
BinaryModelRelInversion.java
ModelRelTypeTransformation.java
ModelRelTypeTransformationConstraint.java
propagate
ModelRelPropagation.java
slice
ModelSlice.java
edu.toronto.cs.se.modelepedia.primitive
src
edu
toronto
cs
se
modelepedia
primitive
file
library
FileMIDHeavyTypeFactory.java
src-gen
edu
toronto
cs
se
modelepedia
primitive
file
FileFactory.java
FileModel.java
FilePackage.java
impl
FileFactoryImpl.java
FileModelImpl.java
FilePackageImpl.java
util
FileAdapterFactory.java
FileSwitch.java
int_
Int.java
IntFactory.java
IntPackage.java
impl
IntFactoryImpl.java
IntImpl.java
IntPackageImpl.java
util
IntAdapterFactory.java
IntSwitch.java
string
String.java
StringFactory.java
StringPackage.java
impl
StringFactoryImpl.java
StringImpl.java
StringPackageImpl.java
util
StringAdapterFactory.java
StringSwitch.java
edu.toronto.cs.se.modelepedia.primitive.edit
src-gen
edu
toronto
cs
se
modelepedia
primitive
file
provider
FileItemProviderAdapterFactory.java
FileModelItemProvider.java
int_
provider
IntItemProvider.java
IntItemProviderAdapterFactory.java
provider
PrimitiveEditPlugin.java
string
provider
StringItemProvider.java
StringItemProviderAdapterFactory.java
edu.toronto.cs.se.modelepedia.primitive.editor
src-gen
edu
toronto
cs
se
modelepedia
primitive
int_
presentation
IntActionBarContributor.java
IntEditor.java
IntModelWizard.java
presentation
PrimitiveEditorPlugin.java
string
presentation
StringActionBarContributor.java
StringEditor.java
StringModelWizard.java
edu.toronto.cs.se.modelepedia.uml
src
edu
toronto
cs
se
modelepedia
uml
constraint
ComponentsDeployedConstraint.java
UMLClassDiagramModelConstraint.java
UMLComponentDiagramModelConstraint.java
UMLDeploymentDiagramModelConstraint.java
UMLModelConstraint.java
ui
UMLDiagramCreationWizardDialog.java
External
EMFtoCSP
edu.toronto.cs.se.modelepedia.emftocsp
src
edu
toronto
cs
se
modelepedia
emftocsp
reasoning
EMFtoCSPReasoningEngine.java
Z3
edu.toronto.cs.se.modelepedia.z3
src
edu
toronto
cs
se
modelepedia
z3
Z3IncrementalSolver.java
Z3Model.java
Z3Solver.java
Z3Utils.java
mavo
EcoreMAVOToSMTLIB.java
EcoreMAVOToSMTLIBListener.java
EcoreMAVOToSMTLIB_M2T.java
MAVOConcretizationHighlighter.java
MAVORefiner.java
Z3MAVOModelParser.java
Z3MAVOUtils.java
reasoning
Z3ReasoningEngine.java
edu.toronto.cs.se.modelepedia.z3.operator
src
edu
toronto
cs
se
modelepedia
z3
operator
henshin
HenshinTransformation.java
LiftingHenshinTransformation.java
MAVOHenshinTransformation.java
ProductLineHenshinTransformation.java
Types
ClassDiagram
edu.toronto.cs.se.modelepedia.classdiagram
src-gen
edu
toronto
cs
se
modelepedia
classdiagram
Association.java
Attribute.java
Class.java
ClassDiagram.java
ClassDiagramFactory.java
ClassDiagramPackage.java
Dependency.java
NamedElement.java
Operation.java
TypedElement.java
impl
AssociationImpl.java
AttributeImpl.java
ClassDiagramFactoryImpl.java
ClassDiagramImpl.java
ClassDiagramPackageImpl.java
ClassImpl.java
DependencyImpl.java
NamedElementImpl.java
OperationImpl.java
TypedElementImpl.java
util
ClassDiagramAdapterFactory.java
ClassDiagramSwitch.java
edu.toronto.cs.se.modelepedia.classdiagram.diagram
src-gen
edu
toronto
cs
se
modelepedia
classdiagram
diagram
edit
commands
AssociationCreateCommand.java
AssociationReorientCommand.java
AttributeCreateCommand.java
ClassCreateCommand.java
ClassDiagramCreateShortcutDecorationsCommand.java
ClassNestedInCreateCommand.java
ClassNestedInReorientCommand.java
ClassSuperclassCreateCommand.java
ClassSuperclassReorientCommand.java
DependencyCreateCommand.java
DependencyReorientCommand.java
OperationCreateCommand.java
helpers
AssociationEditHelper.java
AttributeEditHelper.java
ClassDiagramBaseEditHelper.java
ClassDiagramEditHelper.java
ClassEditHelper.java
DependencyEditHelper.java
OperationEditHelper.java
parts
AssociationEditPart.java
AssociationNameEditPart.java
AttributeEditPart.java
AttributeNameEditPart.java
ClassClassOwnedAttributesCompartmentEditPart.java
ClassClassOwnedOperationsCompartmentEditPart.java
ClassDiagramEditPart.java
ClassDiagramEditPartFactory.java
ClassEditPart.java
ClassNameEditPart.java
ClassNestedInEditPart.java
ClassSuperclassEditPart.java
DependencyEditPart.java
OperationEditPart.java
OperationNameEditPart.java
WrappingLabel2EditPart.java
WrappingLabelEditPart.java
policies
AssociationItemSemanticEditPolicy.java
AttributeItemSemanticEditPolicy.java
ClassClassOwnedAttributesCompartmentCanonicalEditPolicy.java
ClassClassOwnedAttributesCompartmentItemSemanticEditPolicy.java
ClassClassOwnedOperationsCompartmentCanonicalEditPolicy.java
ClassClassOwnedOperationsCompartmentItemSemanticEditPolicy.java
ClassDiagramBaseItemSemanticEditPolicy.java
ClassDiagramCanonicalEditPolicy.java
ClassDiagramItemSemanticEditPolicy.java
ClassDiagramTextNonResizableEditPolicy.java
ClassDiagramTextSelectionEditPolicy.java
ClassItemSemanticEditPolicy.java
ClassNestedInItemSemanticEditPolicy.java
ClassSuperclassItemSemanticEditPolicy.java
DependencyItemSemanticEditPolicy.java
OpenDiagramEditPolicy.java
OperationItemSemanticEditPolicy.java
navigator
ClassDiagramAbstractNavigatorItem.java
ClassDiagramDomainNavigatorContentProvider.java
ClassDiagramDomainNavigatorItem.java
ClassDiagramDomainNavigatorLabelProvider.java
ClassDiagramNavigatorActionProvider.java
ClassDiagramNavigatorContentProvider.java
ClassDiagramNavigatorGroup.java
ClassDiagramNavigatorItem.java
ClassDiagramNavigatorLabelProvider.java
ClassDiagramNavigatorLinkHelper.java
ClassDiagramNavigatorSorter.java
parsers
AbstractParser.java
MessageFormatParser.java
part
ClassDiagramCreationWizard.java
ClassDiagramCreationWizardPage.java
ClassDiagramDiagramActionBarContributor.java
ClassDiagramDiagramEditor.java
ClassDiagramDiagramEditorPlugin.java
ClassDiagramDiagramEditorUtil.java
ClassDiagramDiagramUpdateCommand.java
ClassDiagramDiagramUpdater.java
ClassDiagramDocumentProvider.java
ClassDiagramElementChooserDialog.java
ClassDiagramInitDiagramFileAction.java
ClassDiagramLinkDescriptor.java
ClassDiagramMatchingStrategy.java
ClassDiagramNewDiagramFileWizard.java
ClassDiagramNodeDescriptor.java
ClassDiagramPaletteFactory.java
ClassDiagramShortcutPropertyTester.java
ClassDiagramUriEditorInputTester.java
ClassDiagramVisualIDRegistry.java
DeleteElementAction.java
DiagramEditorContextMenuProvider.java
LoadResourceAction.java
Messages.java
ModelElementSelectionPage.java
ValidateAction.java
preferences
DiagramAppearancePreferencePage.java
DiagramConnectionsPreferencePage.java
DiagramGeneralPreferencePage.java
DiagramPreferenceInitializer.java
DiagramPrintingPreferencePage.java
DiagramRulersAndGridPreferencePage.java
providers
ClassDiagramEditPartProvider.java
ClassDiagramElementTypes.java
ClassDiagramIconProvider.java
ClassDiagramMarkerNavigationProvider.java
ClassDiagramModelingAssistantProvider.java
ClassDiagramParserProvider.java
ClassDiagramShortcutsDecoratorProvider.java
ClassDiagramValidationDecoratorProvider.java
ClassDiagramValidationProvider.java
ClassDiagramViewProvider.java
ElementInitializers.java
assistants
ClassDiagramModelingAssistantProviderOfAttributeEditPart.java
ClassDiagramModelingAssistantProviderOfClassDiagramEditPart.java
ClassDiagramModelingAssistantProviderOfClassEditPart.java
ClassDiagramModelingAssistantProviderOfOperationEditPart.java
sheet
ClassDiagramPropertySection.java
ClassDiagramSheetLabelProvider.java
edu.toronto.cs.se.modelepedia.classdiagram.edit
src-gen
edu
toronto
cs
se
modelepedia
classdiagram
provider
AssociationItemProvider.java
AttributeItemProvider.java
ClassDiagramEditPlugin.java
ClassDiagramItemProvider.java
ClassDiagramItemProviderAdapterFactory.java
ClassItemProvider.java
DependencyItemProvider.java
NamedElementItemProvider.java
OperationItemProvider.java
TypedElementItemProvider.java
edu.toronto.cs.se.modelepedia.classdiagram.editor
src-gen
edu
toronto
cs
se
modelepedia
classdiagram
presentation
ClassDiagramActionBarContributor.java
ClassDiagramEditor.java
ClassDiagramEditorPlugin.java
ClassDiagramModelWizard.java
edu.toronto.cs.se.modelepedia.classdiagram_mavo
src-gen
edu
toronto
cs
se
modelepedia
classdiagram_mavo
Association.java
Attribute.java
Class.java
ClassDiagram.java
ClassDiagram_MAVOFactory.java
ClassDiagram_MAVOPackage.java
Dependency.java
NamedElement.java
NestedInReference.java
Operation.java
SuperclassReference.java
TypedElement.java
impl
AssociationImpl.java
AttributeImpl.java
ClassDiagramImpl.java
ClassDiagram_MAVOFactoryImpl.java
ClassDiagram_MAVOPackageImpl.java
ClassImpl.java
DependencyImpl.java
NamedElementImpl.java
NestedInReferenceImpl.java
OperationImpl.java
SuperclassReferenceImpl.java
TypedElementImpl.java
util
ClassDiagram_MAVOAdapterFactory.java
ClassDiagram_MAVOSwitch.java
edu.toronto.cs.se.modelepedia.classdiagram_mavo.diagram
src-gen
edu
toronto
cs
se
modelepedia
classdiagram_mavo
diagram
edit
commands
AssociationCreateCommand.java
AssociationReorientCommand.java
AttributeCreateCommand.java
ClassCreateCommand.java
ClassDiagram_MAVOCreateShortcutDecorationsCommand.java
DependencyCreateCommand.java
DependencyReorientCommand.java
NestedInReferenceCreateCommand.java
NestedInReferenceReorientCommand.java
OperationCreateCommand.java
SuperclassReferenceCreateCommand.java
SuperclassReferenceReorientCommand.java
helpers
AssociationEditHelper.java
AttributeEditHelper.java
ClassDiagramEditHelper.java
ClassDiagram_MAVOBaseEditHelper.java
ClassEditHelper.java
DependencyEditHelper.java
NestedInReferenceEditHelper.java
OperationEditHelper.java
SuperclassReferenceEditHelper.java
parts
AssociationEditPart.java
AssociationNameEditPart.java
AttributeEditPart.java
AttributeNameEditPart.java
ClassClassOwnedAttributesCompartmentEditPart.java
ClassClassOwnedOperationsCompartmentEditPart.java
ClassDiagramEditPart.java
ClassDiagram_MAVOEditPartFactory.java
ClassEditPart.java
ClassNameEditPart.java
DependencyEditPart.java
NestedInReferenceEditPart.java
OperationEditPart.java
OperationNameEditPart.java
SuperclassReferenceEditPart.java
WrappingLabel2EditPart.java
WrappingLabel3EditPart.java
WrappingLabel4EditPart.java
WrappingLabel5EditPart.java
WrappingLabel6EditPart.java
WrappingLabel7EditPart.java
WrappingLabelEditPart.java
policies
AssociationItemSemanticEditPolicy.java
AttributeItemSemanticEditPolicy.java
ClassClassOwnedAttributesCompartmentCanonicalEditPolicy.java
ClassClassOwnedAttributesCompartmentItemSemanticEditPolicy.java
ClassClassOwnedOperationsCompartmentCanonicalEditPolicy.java
ClassClassOwnedOperationsCompartmentItemSemanticEditPolicy.java
ClassDiagramCanonicalEditPolicy.java
ClassDiagramItemSemanticEditPolicy.java
ClassDiagram_MAVOBaseItemSemanticEditPolicy.java
ClassDiagram_MAVOTextNonResizableEditPolicy.java
ClassDiagram_MAVOTextSelectionEditPolicy.java
ClassItemSemanticEditPolicy.java
DependencyItemSemanticEditPolicy.java
NestedInReferenceItemSemanticEditPolicy.java
OpenDiagramEditPolicy.java
OperationItemSemanticEditPolicy.java
SuperclassReferenceItemSemanticEditPolicy.java
navigator
ClassDiagram_MAVOAbstractNavigatorItem.java
ClassDiagram_MAVODomainNavigatorContentProvider.java
ClassDiagram_MAVODomainNavigatorItem.java
ClassDiagram_MAVODomainNavigatorLabelProvider.java
ClassDiagram_MAVONavigatorActionProvider.java
ClassDiagram_MAVONavigatorContentProvider.java
ClassDiagram_MAVONavigatorGroup.java
ClassDiagram_MAVONavigatorItem.java
ClassDiagram_MAVONavigatorLabelProvider.java
ClassDiagram_MAVONavigatorLinkHelper.java
ClassDiagram_MAVONavigatorSorter.java
parsers
AbstractParser.java
MessageFormatParser.java
part
ClassDiagram_MAVOCreationWizard.java
ClassDiagram_MAVOCreationWizardPage.java
ClassDiagram_MAVODiagramActionBarContributor.java
ClassDiagram_MAVODiagramEditor.java
ClassDiagram_MAVODiagramEditorPlugin.java
ClassDiagram_MAVODiagramEditorUtil.java
ClassDiagram_MAVODiagramUpdateCommand.java
ClassDiagram_MAVODiagramUpdater.java
ClassDiagram_MAVODocumentProvider.java
ClassDiagram_MAVOElementChooserDialog.java
ClassDiagram_MAVOInitDiagramFileAction.java
ClassDiagram_MAVOLinkDescriptor.java
ClassDiagram_MAVOMatchingStrategy.java
ClassDiagram_MAVONewDiagramFileWizard.java
ClassDiagram_MAVONodeDescriptor.java
ClassDiagram_MAVOPaletteFactory.java
ClassDiagram_MAVOShortcutPropertyTester.java
ClassDiagram_MAVOUriEditorInputTester.java
ClassDiagram_MAVOVisualIDRegistry.java
DeleteElementAction.java
DiagramEditorContextMenuProvider.java
LoadResourceAction.java
Messages.java
ModelElementSelectionPage.java
ValidateAction.java
preferences
DiagramAppearancePreferencePage.java
DiagramConnectionsPreferencePage.java
DiagramGeneralPreferencePage.java
DiagramPreferenceInitializer.java
DiagramPrintingPreferencePage.java
DiagramRulersAndGridPreferencePage.java
providers
ClassDiagram_MAVOEditPartProvider.java
ClassDiagram_MAVOElementTypes.java
ClassDiagram_MAVOIconProvider.java
ClassDiagram_MAVOMarkerNavigationProvider.java
ClassDiagram_MAVOModelingAssistantProvider.java
ClassDiagram_MAVOParserProvider.java
ClassDiagram_MAVOShortcutsDecoratorProvider.java
ClassDiagram_MAVOValidationDecoratorProvider.java
ClassDiagram_MAVOValidationProvider.java
ClassDiagram_MAVOViewProvider.java
ElementInitializers.java
assistants
ClassDiagram_MAVOModelingAssistantProviderOfAttributeEditPart.java
ClassDiagram_MAVOModelingAssistantProviderOfClassDiagramEditPart.java
ClassDiagram_MAVOModelingAssistantProviderOfClassEditPart.java
ClassDiagram_MAVOModelingAssistantProviderOfOperationEditPart.java
sheet
ClassDiagram_MAVOPropertySection.java
ClassDiagram_MAVOSheetLabelProvider.java
edu.toronto.cs.se.modelepedia.classdiagram_mavo.edit
src-gen
edu
toronto
cs
se
modelepedia
classdiagram_mavo
provider
AssociationItemProvider.java
AttributeItemProvider.java
ClassDiagramItemProvider.java
ClassDiagram_MAVOEditPlugin.java
ClassDiagram_MAVOItemProviderAdapterFactory.java
ClassItemProvider.java
DependencyItemProvider.java
NamedElementItemProvider.java
NestedInReferenceItemProvider.java
OperationItemProvider.java
SuperclassReferenceItemProvider.java
TypedElementItemProvider.java
edu.toronto.cs.se.modelepedia.classdiagram_mavo.editor
src-gen
edu
toronto
cs
se
modelepedia
classdiagram_mavo
presentation
ClassDiagram_MAVOActionBarContributor.java
ClassDiagram_MAVOEditor.java
ClassDiagram_MAVOEditorPlugin.java
ClassDiagram_MAVOModelWizard.java
edu.toronto.cs.se.modelepedia.classdiagram_mavo.operator
src
edu
toronto
cs
se
modelepedia
classdiagram
operator
CDMatch.java
classdiagram_mavo
operator
ICSE14.java
UMLToClassDiagramMAVO.java
UMLToClassDiagramMAVO_M2M.java
Graph
edu.toronto.cs.se.modelepedia.graph_mavo
src-gen
edu
toronto
cs
se
modelepedia
graph_mavo
Edge.java
Graph.java
Graph_MAVOFactory.java
Graph_MAVOPackage.java
NamedElement.java
Node.java
impl
EdgeImpl.java
GraphImpl.java
Graph_MAVOFactoryImpl.java
Graph_MAVOPackageImpl.java
NamedElementImpl.java
NodeImpl.java
util
Graph_MAVOAdapterFactory.java
Graph_MAVOSwitch.java
edu.toronto.cs.se.modelepedia.graph_mavo.diagram
src-gen
edu
toronto
cs
se
modelepedia
graph_mavo
diagram
edit
commands
EdgeCreateCommand.java
EdgeReorientCommand.java
NodeCreateCommand.java
helpers
EdgeEditHelper.java
GraphEditHelper.java
Graph_MAVOBaseEditHelper.java
NodeEditHelper.java
parts
EdgeEditPart.java
EdgeNameEditPart.java
GraphEditPart.java
Graph_MAVOEditPartFactory.java
NodeEditPart.java
NodeNameEditPart.java
WrappingLabel2EditPart.java
WrappingLabelEditPart.java
policies
EdgeItemSemanticEditPolicy.java
GraphCanonicalEditPolicy.java
GraphItemSemanticEditPolicy.java
Graph_MAVOBaseItemSemanticEditPolicy.java
Graph_MAVOTextNonResizableEditPolicy.java
Graph_MAVOTextSelectionEditPolicy.java
NodeItemSemanticEditPolicy.java
navigator
Graph_MAVOAbstractNavigatorItem.java
Graph_MAVODomainNavigatorContentProvider.java
Graph_MAVODomainNavigatorItem.java
Graph_MAVODomainNavigatorLabelProvider.java
Graph_MAVONavigatorActionProvider.java
Graph_MAVONavigatorContentProvider.java
Graph_MAVONavigatorGroup.java
Graph_MAVONavigatorItem.java
Graph_MAVONavigatorLabelProvider.java
Graph_MAVONavigatorLinkHelper.java
Graph_MAVONavigatorSorter.java
parsers
AbstractParser.java
MessageFormatParser.java
part
DeleteElementAction.java
DiagramEditorContextMenuProvider.java
Graph_MAVOCreationWizard.java
Graph_MAVOCreationWizardPage.java
Graph_MAVODiagramActionBarContributor.java
Graph_MAVODiagramEditor.java
Graph_MAVODiagramEditorPlugin.java
Graph_MAVODiagramEditorUtil.java
Graph_MAVODiagramUpdateCommand.java
Graph_MAVODiagramUpdater.java
Graph_MAVODocumentProvider.java
Graph_MAVOInitDiagramFileAction.java
Graph_MAVOLinkDescriptor.java
Graph_MAVOMatchingStrategy.java
Graph_MAVONewDiagramFileWizard.java
Graph_MAVONodeDescriptor.java
Graph_MAVOPaletteFactory.java
Graph_MAVOUriEditorInputTester.java
Graph_MAVOVisualIDRegistry.java
LoadResourceAction.java
Messages.java
ModelElementSelectionPage.java
ValidateAction.java
preferences
DiagramAppearancePreferencePage.java
DiagramConnectionsPreferencePage.java
DiagramGeneralPreferencePage.java
DiagramPreferenceInitializer.java
DiagramPrintingPreferencePage.java
DiagramRulersAndGridPreferencePage.java
providers
ElementInitializers.java
Graph_MAVOEditPartProvider.java
Graph_MAVOElementTypes.java
Graph_MAVOIconProvider.java
Graph_MAVOMarkerNavigationProvider.java
Graph_MAVOModelingAssistantProvider.java
Graph_MAVOParserProvider.java
Graph_MAVOValidationDecoratorProvider.java
Graph_MAVOValidationProvider.java
Graph_MAVOViewProvider.java
assistants
Graph_MAVOModelingAssistantProviderOfGraphEditPart.java
Graph_MAVOModelingAssistantProviderOfNodeEditPart.java
sheet
Graph_MAVOPropertySection.java
Graph_MAVOSheetLabelProvider.java
edu.toronto.cs.se.modelepedia.graph_mavo.edit
src-gen
edu
toronto
cs
se
modelepedia
graph_mavo
provider
EdgeItemProvider.java
GraphItemProvider.java
Graph_MAVOEditPlugin.java
Graph_MAVOItemProviderAdapterFactory.java
NamedElementItemProvider.java
NodeItemProvider.java
edu.toronto.cs.se.modelepedia.graph_mavo.editor
src-gen
edu
toronto
cs
se
modelepedia
graph_mavo
presentation
Graph_MAVOActionBarContributor.java
Graph_MAVOEditor.java
Graph_MAVOEditorPlugin.java
Graph_MAVOModelWizard.java
edu.toronto.cs.se.modelepedia.graph_mavo.operator
src
edu
toronto
cs
se
modelepedia
graph_mavo
operator
GenerateRandomGraphMAVO.java
TOSEM12.java
IStar
edu.toronto.cs.se.modelepedia.istar
src-gen
edu
toronto
cs
se
modelepedia
istar
Actor.java
Contribution.java
ContributionType.java
Decomposition.java
DependeeLink.java
DependencyEndpoint.java
DependerLink.java
Goal.java
IStar.java
IStarFactory.java
IStarPackage.java
Intention.java
IntentionLink.java
MeansEnd.java
Resource.java
SoftGoal.java
Task.java
impl
ActorImpl.java
ContributionImpl.java
DecompositionImpl.java
DependeeLinkImpl.java
DependencyEndpointImpl.java
DependerLinkImpl.java
GoalImpl.java
IStarFactoryImpl.java
IStarImpl.java
IStarPackageImpl.java
IntentionImpl.java
IntentionLinkImpl.java
MeansEndImpl.java
ResourceImpl.java
SoftGoalImpl.java
TaskImpl.java
util
IStarAdapterFactory.java
IStarSwitch.java
IStarValidator.java
edu.toronto.cs.se.modelepedia.istar.diagram
src
edu
toronto
cs
se
modelepedia
istar
diagram
figures
GoalFigure.java
SoftGoalFigure.java
TaskFigure.java
src-gen
edu
toronto
cs
se
modelepedia
istar
diagram
edit
commands
ActorCreateCommand.java
ContributionCreateCommand.java
ContributionReorientCommand.java
DecompositionCreateCommand.java
DecompositionReorientCommand.java
DependeeLinkCreateCommand.java
DependeeLinkReorientCommand.java
DependerLinkCreateCommand.java
DependerLinkReorientCommand.java
Goal2CreateCommand.java
GoalCreateCommand.java
IStarCreateShortcutDecorationsCommand.java
MeansEndCreateCommand.java
MeansEndReorientCommand.java
Resource2CreateCommand.java
ResourceCreateCommand.java
SoftGoal2CreateCommand.java
SoftGoalCreateCommand.java
Task2CreateCommand.java
TaskCreateCommand.java
helpers
ActorEditHelper.java
ContributionEditHelper.java
DecompositionEditHelper.java
DependeeLinkEditHelper.java
DependerLinkEditHelper.java
GoalEditHelper.java
IStarBaseEditHelper.java
IStarEditHelper.java
MeansEndEditHelper.java
ResourceEditHelper.java
SoftGoalEditHelper.java
TaskEditHelper.java
parts
ActorActorIntentionsCompartmentEditPart.java
ActorEditPart.java
ActorNameEditPart.java
ContributionEditPart.java
DecompositionEditPart.java
DependeeLinkEditPart.java
DependerLinkEditPart.java
Goal2EditPart.java
GoalEditPart.java
GoalName2EditPart.java
GoalNameEditPart.java
IStarEditPart.java
IStarEditPartFactory.java
MeansEndEditPart.java
Resource2EditPart.java
ResourceEditPart.java
ResourceName2EditPart.java
ResourceNameEditPart.java
SoftGoal2EditPart.java
SoftGoalEditPart.java
SoftGoalName2EditPart.java
SoftGoalNameEditPart.java
Task2EditPart.java
TaskEditPart.java
TaskName2EditPart.java
TaskNameEditPart.java
policies
ActorActorIntentionsCompartmentCanonicalEditPolicy.java
ActorActorIntentionsCompartmentItemSemanticEditPolicy.java
ActorItemSemanticEditPolicy.java
ContributionItemSemanticEditPolicy.java
DecompositionItemSemanticEditPolicy.java
DependeeLinkItemSemanticEditPolicy.java
DependerLinkItemSemanticEditPolicy.java
Goal2ItemSemanticEditPolicy.java
GoalItemSemanticEditPolicy.java
IStarBaseItemSemanticEditPolicy.java
IStarCanonicalEditPolicy.java
IStarItemSemanticEditPolicy.java
IStarTextNonResizableEditPolicy.java
IStarTextSelectionEditPolicy.java
MeansEndItemSemanticEditPolicy.java
OpenDiagramEditPolicy.java
Resource2ItemSemanticEditPolicy.java
ResourceItemSemanticEditPolicy.java
SoftGoal2ItemSemanticEditPolicy.java
SoftGoalItemSemanticEditPolicy.java
Task2ItemSemanticEditPolicy.java
TaskItemSemanticEditPolicy.java
navigator
IStarAbstractNavigatorItem.java
IStarDomainNavigatorContentProvider.java
IStarDomainNavigatorItem.java
IStarDomainNavigatorLabelProvider.java
IStarNavigatorActionProvider.java
IStarNavigatorContentProvider.java
IStarNavigatorGroup.java
IStarNavigatorItem.java
IStarNavigatorLabelProvider.java
IStarNavigatorLinkHelper.java
IStarNavigatorSorter.java
parsers
AbstractParser.java
MessageFormatParser.java
part
DeleteElementAction.java
DiagramEditorContextMenuProvider.java
IStarCreationWizard.java
IStarCreationWizardPage.java
IStarDiagramActionBarContributor.java
IStarDiagramEditor.java
IStarDiagramEditorPlugin.java
IStarDiagramEditorUtil.java
IStarDiagramUpdateCommand.java
IStarDiagramUpdater.java
IStarDocumentProvider.java
IStarElementChooserDialog.java
IStarInitDiagramFileAction.java
IStarLinkDescriptor.java
IStarMatchingStrategy.java
IStarNewDiagramFileWizard.java
IStarNodeDescriptor.java
IStarPaletteFactory.java
IStarShortcutPropertyTester.java
IStarUriEditorInputTester.java
IStarVisualIDRegistry.java
LoadResourceAction.java
Messages.java
ModelElementSelectionPage.java
ValidateAction.java
preferences
DiagramAppearancePreferencePage.java
DiagramConnectionsPreferencePage.java
DiagramGeneralPreferencePage.java
DiagramPreferenceInitializer.java
DiagramPrintingPreferencePage.java
DiagramRulersAndGridPreferencePage.java
providers
ElementInitializers.java
IStarEditPartProvider.java
IStarElementTypes.java
IStarIconProvider.java
IStarMarkerNavigationProvider.java
IStarModelingAssistantProvider.java
IStarParserProvider.java
IStarShortcutsDecoratorProvider.java
IStarValidationDecoratorProvider.java
IStarValidationProvider.java
IStarViewProvider.java
sheet
IStarPropertySection.java
IStarSheetLabelProvider.java
edu.toronto.cs.se.modelepedia.istar.edit
src-gen
edu
toronto
cs
se
modelepedia
istar
provider
ActorItemProvider.java
ContributionItemProvider.java
DecompositionItemProvider.java
DependeeLinkItemProvider.java
DependencyEndpointItemProvider.java
DependerLinkItemProvider.java
GoalItemProvider.java
IStarEditPlugin.java
IStarItemProvider.java
IStarItemProviderAdapterFactory.java
IntentionItemProvider.java
IntentionLinkItemProvider.java
MeansEndItemProvider.java
ResourceItemProvider.java
SoftGoalItemProvider.java
TaskItemProvider.java
edu.toronto.cs.se.modelepedia.istar.editor
src-gen
edu
toronto
cs
se
modelepedia
istar
presentation
IStarActionBarContributor.java
IStarEditor.java
IStarEditorPlugin.java
IStarModelWizard.java
edu.toronto.cs.se.modelepedia.istar_mavo
src-gen
edu
toronto
cs
se
modelepedia
istar_mavo
Actor.java
Contribution.java
ContributionType.java
Decomposition.java
DependeeLink.java
DependencyEndpoint.java
DependerLink.java
Goal.java
IStar.java
IStar_MAVOFactory.java
IStar_MAVOPackage.java
Intention.java
IntentionLink.java
MeansEnd.java
Resource.java
SoftGoal.java
Task.java
impl
ActorImpl.java
ContributionImpl.java
DecompositionImpl.java
DependeeLinkImpl.java
DependencyEndpointImpl.java
DependerLinkImpl.java
GoalImpl.java
IStarImpl.java
IStar_MAVOFactoryImpl.java
IStar_MAVOPackageImpl.java
IntentionImpl.java
IntentionLinkImpl.java
MeansEndImpl.java
ResourceImpl.java
SoftGoalImpl.java
TaskImpl.java
util
IStar_MAVOAdapterFactory.java
IStar_MAVOSwitch.java
IStar_MAVOValidator.java
edu.toronto.cs.se.modelepedia.istar_mavo.diagram
src-gen
edu
toronto
cs
se
modelepedia
istar_mavo
diagram
edit
commands
ActorCreateCommand.java
ContributionCreateCommand.java
ContributionReorientCommand.java
DecompositionCreateCommand.java
DecompositionReorientCommand.java
DependeeLinkCreateCommand.java
DependeeLinkReorientCommand.java
DependerLinkCreateCommand.java
DependerLinkReorientCommand.java
Goal2CreateCommand.java
GoalCreateCommand.java
IStar_MAVOCreateShortcutDecorationsCommand.java
MeansEndCreateCommand.java
MeansEndReorientCommand.java
Resource2CreateCommand.java
ResourceCreateCommand.java
SoftGoal2CreateCommand.java
SoftGoalCreateCommand.java
Task2CreateCommand.java
TaskCreateCommand.java
helpers
ActorEditHelper.java
ContributionEditHelper.java
DecompositionEditHelper.java
DependeeLinkEditHelper.java
DependerLinkEditHelper.java
GoalEditHelper.java
IStarEditHelper.java
IStar_MAVOBaseEditHelper.java
MeansEndEditHelper.java
ResourceEditHelper.java
SoftGoalEditHelper.java
TaskEditHelper.java
parts
ActorActorIntentionsCompartmentEditPart.java
ActorEditPart.java
ActorNameEditPart.java
ContributionEditPart.java
DecompositionEditPart.java
DependeeLinkEditPart.java
DependerLinkEditPart.java
Goal2EditPart.java
GoalEditPart.java
GoalName2EditPart.java
GoalNameEditPart.java
IStarEditPart.java
IStar_MAVOEditPartFactory.java
MeansEndEditPart.java
Resource2EditPart.java
ResourceEditPart.java
ResourceName2EditPart.java
ResourceNameEditPart.java
SoftGoal2EditPart.java
SoftGoalEditPart.java
SoftGoalName2EditPart.java
SoftGoalNameEditPart.java
Task2EditPart.java
TaskEditPart.java
TaskName2EditPart.java
TaskNameEditPart.java
WrappingLabel10EditPart.java
WrappingLabel11EditPart.java
WrappingLabel12EditPart.java
WrappingLabel13EditPart.java
WrappingLabel14EditPart.java
WrappingLabel2EditPart.java
WrappingLabel3EditPart.java
WrappingLabel4EditPart.java
WrappingLabel5EditPart.java
WrappingLabel6EditPart.java
WrappingLabel7EditPart.java
WrappingLabel8EditPart.java
WrappingLabel9EditPart.java
WrappingLabelEditPart.java
policies
ActorActorIntentionsCompartmentCanonicalEditPolicy.java
ActorActorIntentionsCompartmentItemSemanticEditPolicy.java
ActorItemSemanticEditPolicy.java
ContributionItemSemanticEditPolicy.java
DecompositionItemSemanticEditPolicy.java
DependeeLinkItemSemanticEditPolicy.java
DependerLinkItemSemanticEditPolicy.java
Goal2ItemSemanticEditPolicy.java
GoalItemSemanticEditPolicy.java
IStarCanonicalEditPolicy.java
IStarItemSemanticEditPolicy.java
IStar_MAVOBaseItemSemanticEditPolicy.java
IStar_MAVOTextNonResizableEditPolicy.java
IStar_MAVOTextSelectionEditPolicy.java
MeansEndItemSemanticEditPolicy.java
OpenDiagramEditPolicy.java
Resource2ItemSemanticEditPolicy.java
ResourceItemSemanticEditPolicy.java
SoftGoal2ItemSemanticEditPolicy.java
SoftGoalItemSemanticEditPolicy.java
Task2ItemSemanticEditPolicy.java
TaskItemSemanticEditPolicy.java
navigator
IStar_MAVOAbstractNavigatorItem.java
IStar_MAVODomainNavigatorContentProvider.java
IStar_MAVODomainNavigatorItem.java
IStar_MAVODomainNavigatorLabelProvider.java
IStar_MAVONavigatorActionProvider.java
IStar_MAVONavigatorContentProvider.java
IStar_MAVONavigatorGroup.java
IStar_MAVONavigatorItem.java
IStar_MAVONavigatorLabelProvider.java
IStar_MAVONavigatorLinkHelper.java
IStar_MAVONavigatorSorter.java
parsers
AbstractParser.java
MessageFormatParser.java
part
DeleteElementAction.java
DiagramEditorContextMenuProvider.java
IStar_MAVOCreationWizard.java
IStar_MAVOCreationWizardPage.java
IStar_MAVODiagramActionBarContributor.java
IStar_MAVODiagramEditor.java
IStar_MAVODiagramEditorPlugin.java
IStar_MAVODiagramEditorUtil.java
IStar_MAVODiagramUpdateCommand.java
IStar_MAVODiagramUpdater.java
IStar_MAVODocumentProvider.java
IStar_MAVOElementChooserDialog.java
IStar_MAVOInitDiagramFileAction.java
IStar_MAVOLinkDescriptor.java
IStar_MAVOMatchingStrategy.java
IStar_MAVONewDiagramFileWizard.java
IStar_MAVONodeDescriptor.java
IStar_MAVOPaletteFactory.java
IStar_MAVOShortcutPropertyTester.java
IStar_MAVOUriEditorInputTester.java
IStar_MAVOVisualIDRegistry.java
LoadResourceAction.java
Messages.java
ModelElementSelectionPage.java
ValidateAction.java
preferences
DiagramAppearancePreferencePage.java
DiagramConnectionsPreferencePage.java
DiagramGeneralPreferencePage.java
DiagramPreferenceInitializer.java
DiagramPrintingPreferencePage.java
DiagramRulersAndGridPreferencePage.java
providers
ElementInitializers.java
IStar_MAVOEditPartProvider.java
IStar_MAVOElementTypes.java
IStar_MAVOIconProvider.java
IStar_MAVOMarkerNavigationProvider.java
IStar_MAVOModelingAssistantProvider.java
IStar_MAVOParserProvider.java
IStar_MAVOShortcutsDecoratorProvider.java
IStar_MAVOValidationDecoratorProvider.java
IStar_MAVOValidationProvider.java
IStar_MAVOViewProvider.java
assistants
IStar_MAVOModelingAssistantProviderOfActorEditPart.java
IStar_MAVOModelingAssistantProviderOfGoal2EditPart.java
IStar_MAVOModelingAssistantProviderOfGoalEditPart.java
IStar_MAVOModelingAssistantProviderOfIStarEditPart.java
IStar_MAVOModelingAssistantProviderOfResource2EditPart.java
IStar_MAVOModelingAssistantProviderOfResourceEditPart.java
IStar_MAVOModelingAssistantProviderOfSoftGoal2EditPart.java
IStar_MAVOModelingAssistantProviderOfSoftGoalEditPart.java
IStar_MAVOModelingAssistantProviderOfTask2EditPart.java
IStar_MAVOModelingAssistantProviderOfTaskEditPart.java
sheet
IStar_MAVOPropertySection.java
IStar_MAVOSheetLabelProvider.java
edu.toronto.cs.se.modelepedia.istar_mavo.edit
src-gen
edu
toronto
cs
se
modelepedia
istar_mavo
provider
ActorItemProvider.java
ContributionItemProvider.java
DecompositionItemProvider.java
DependeeLinkItemProvider.java
DependencyEndpointItemProvider.java
DependerLinkItemProvider.java
GoalItemProvider.java
IStarItemProvider.java
IStar_MAVOEditPlugin.java
IStar_MAVOItemProviderAdapterFactory.java
IntentionItemProvider.java
IntentionLinkItemProvider.java
MeansEndItemProvider.java
ResourceItemProvider.java
SoftGoalItemProvider.java
TaskItemProvider.java
edu.toronto.cs.se.modelepedia.istar_mavo.editor
src-gen
edu
toronto
cs
se
modelepedia
istar_mavo
presentation
IStar_MAVOActionBarContributor.java
IStar_MAVOEditor.java
IStar_MAVOEditorPlugin.java
IStar_MAVOModelWizard.java
edu.toronto.cs.se.modelepedia.istar_mavo.operator
src
edu
toronto
cs
se
modelepedia
istar_mavo
operator
FASE14.java
IStarMAVOToSMTLIB.java
IStarMAVOToSMTLIB_M2T.java
RE13.java
REJ15.java
PetriNet
edu.toronto.cs.se.modelepedia.petrinet
src-gen
edu
toronto
cs
se
modelepedia
petrinet
Arc.java
Node.java
PetriNet.java
PetriNetFactory.java
PetriNetPackage.java
Place.java
Transition.java
impl
ArcImpl.java
NodeImpl.java
PetriNetFactoryImpl.java
PetriNetImpl.java
PetriNetPackageImpl.java
PlaceImpl.java
TransitionImpl.java
util
PetriNetAdapterFactory.java
PetriNetSwitch.java
PetriNetValidator.java
edu.toronto.cs.se.modelepedia.petrinet.edit
src-gen
edu
toronto
cs
se
modelepedia
petrinet
provider
ArcItemProvider.java
NodeItemProvider.java
PetriNetEditPlugin.java
PetriNetItemProvider.java
PetriNetItemProviderAdapterFactory.java
PlaceItemProvider.java
TransitionItemProvider.java
edu.toronto.cs.se.modelepedia.petrinet.editor
src-gen
edu
toronto
cs
se
modelepedia
petrinet
presentation
PetriNetActionBarContributor.java
PetriNetEditor.java
PetriNetEditorPlugin.java
PetriNetModelWizard.java
edu.toronto.cs.se.modelepedia.petrinet.operator
src
edu
toronto
cs
se
modelepedia
petrinet
operator
PetriNetSimulate.java
PowerWindow
edu.toronto.cs.se.modelepedia.powerwindow
src-gen
edu
toronto
cs
se
modelepedia
powerwindow
ForceDetecting.java
Infrared.java
LockOut.java
Movement.java
NamedElement.java
PowerWindowFactory.java
PowerWindowPackage.java
PushPull.java
Rocker.java
Sensor.java
Switch.java
Window.java
impl
ForceDetectingImpl.java
InfraredImpl.java
LockOutImpl.java
MovementImpl.java
NamedElementImpl.java
PowerWindowFactoryImpl.java
PowerWindowPackageImpl.java
PushPullImpl.java
RockerImpl.java
SensorImpl.java
SwitchImpl.java
WindowImpl.java
util
PowerWindowAdapterFactory.java
PowerWindowSwitch.java
edu.toronto.cs.se.modelepedia.powerwindow.diagram
src-gen
edu
toronto
cs
se
modelepedia
powerwindow
diagram
edit
commands
ForceDetectingCreateCommand.java
InfraredCreateCommand.java
LockOutCreateCommand.java
PushPullCreateCommand.java
RockerCreateCommand.java
helpers
ForceDetectingEditHelper.java
InfraredEditHelper.java
LockOutEditHelper.java
PowerWindowBaseEditHelper.java
PushPullEditHelper.java
RockerEditHelper.java
WindowEditHelper.java
parts
ForceDetectingDelayEditPart.java
ForceDetectingEditPart.java
InfraredDelayEditPart.java
InfraredEditPart.java
LockOutEditPart.java
LockOutNameEditPart.java
PowerWindowEditPartFactory.java
PushPullEditPart.java
PushPullNameEditPart.java
RockerEditPart.java
RockerNameEditPart.java
WindowEditPart.java
policies
ForceDetectingItemSemanticEditPolicy.java
InfraredItemSemanticEditPolicy.java
LockOutItemSemanticEditPolicy.java
PowerWindowBaseItemSemanticEditPolicy.java
PowerWindowTextNonResizableEditPolicy.java
PowerWindowTextSelectionEditPolicy.java
PushPullItemSemanticEditPolicy.java
RockerItemSemanticEditPolicy.java
WindowCanonicalEditPolicy.java
WindowItemSemanticEditPolicy.java
navigator
PowerWindowAbstractNavigatorItem.java
PowerWindowDomainNavigatorContentProvider.java
PowerWindowDomainNavigatorItem.java
PowerWindowDomainNavigatorLabelProvider.java
PowerWindowNavigatorActionProvider.java
PowerWindowNavigatorContentProvider.java
PowerWindowNavigatorGroup.java
PowerWindowNavigatorItem.java
PowerWindowNavigatorLabelProvider.java
PowerWindowNavigatorLinkHelper.java
PowerWindowNavigatorSorter.java
parsers
AbstractParser.java
MessageFormatParser.java
part
DeleteElementAction.java
DiagramEditorContextMenuProvider.java
LoadResourceAction.java
Messages.java
ModelElementSelectionPage.java
PowerWindowCreationWizard.java
PowerWindowCreationWizardPage.java
PowerWindowDiagramActionBarContributor.java
PowerWindowDiagramEditor.java
PowerWindowDiagramEditorPlugin.java
PowerWindowDiagramEditorUtil.java
PowerWindowDiagramUpdateCommand.java
PowerWindowDiagramUpdater.java
PowerWindowDocumentProvider.java
PowerWindowInitDiagramFileAction.java
PowerWindowLinkDescriptor.java
PowerWindowMatchingStrategy.java
PowerWindowNewDiagramFileWizard.java
PowerWindowNodeDescriptor.java
PowerWindowPaletteFactory.java
PowerWindowUriEditorInputTester.java
PowerWindowVisualIDRegistry.java
ValidateAction.java
preferences
DiagramAppearancePreferencePage.java
DiagramConnectionsPreferencePage.java
DiagramGeneralPreferencePage.java
DiagramPreferenceInitializer.java
DiagramPrintingPreferencePage.java
DiagramRulersAndGridPreferencePage.java
providers
ElementInitializers.java
PowerWindowEditPartProvider.java
PowerWindowElementTypes.java
PowerWindowIconProvider.java
PowerWindowMarkerNavigationProvider.java
PowerWindowModelingAssistantProvider.java
PowerWindowParserProvider.java
PowerWindowValidationDecoratorProvider.java
PowerWindowValidationProvider.java
PowerWindowViewProvider.java
sheet
PowerWindowPropertySection.java
PowerWindowSheetLabelProvider.java
edu.toronto.cs.se.modelepedia.powerwindow.edit
src-gen
edu
toronto
cs
se
modelepedia
powerwindow
provider
ForceDetectingItemProvider.java
InfraredItemProvider.java
LockOutItemProvider.java
MovementItemProvider.java
NamedElementItemProvider.java
PowerWindowEditPlugin.java
PowerWindowItemProviderAdapterFactory.java
PushPullItemProvider.java
RockerItemProvider.java
SensorItemProvider.java
SwitchItemProvider.java
WindowItemProvider.java
edu.toronto.cs.se.modelepedia.powerwindow.editor
src-gen
edu
toronto
cs
se
modelepedia
powerwindow
presentation
PowerWindowActionBarContributor.java
PowerWindowEditor.java
PowerWindowEditorPlugin.java
PowerWindowModelWizard.java
edu.toronto.cs.se.modelepedia.powerwindow.operator
src
edu
toronto
cs
se
modelepedia
powerwindow
operator
PowerWindowToPetriNet.java
RelationalDatabase
edu.toronto.cs.se.modelepedia.relationaldatabase
src-gen
edu
toronto
cs
se
modelepedia
relationaldatabase
Column.java
ForeignKey.java
NamedElement.java
RelationalDatabase.java
RelationalDatabaseFactory.java
RelationalDatabasePackage.java
Table.java
impl
ColumnImpl.java
ForeignKeyImpl.java
NamedElementImpl.java
RelationalDatabaseFactoryImpl.java
RelationalDatabaseImpl.java
RelationalDatabasePackageImpl.java
TableImpl.java
util
RelationalDatabaseAdapterFactory.java
RelationalDatabaseSwitch.java
edu.toronto.cs.se.modelepedia.relationaldatabase.diagram
src-gen
edu
toronto
cs
se
modelepedia
relationaldatabase
diagram
edit
commands
ColumnCreateCommand.java
ForeignKeyCreateCommand.java
ForeignKeyForeignColumnCreateCommand.java
ForeignKeyForeignColumnReorientCommand.java
ForeignKeyTableColumnCreateCommand.java
ForeignKeyTableColumnReorientCommand.java
RelationalDatabaseCreateShortcutDecorationsCommand.java
TableCreateCommand.java
helpers
ColumnEditHelper.java
ForeignKeyEditHelper.java
RelationalDatabaseBaseEditHelper.java
RelationalDatabaseEditHelper.java
TableEditHelper.java
parts
ColumnEditPart.java
ColumnNameEditPart.java
ForeignKeyEditPart.java
ForeignKeyForeignColumnEditPart.java
ForeignKeyNameEditPart.java
ForeignKeyTableColumnEditPart.java
RelationalDatabaseEditPart.java
RelationalDatabaseEditPartFactory.java
TableEditPart.java
TableNameEditPart.java
TableTableColumnsCompartmentEditPart.java
TableTableForeignKeysCompartmentEditPart.java
WrappingLabel2EditPart.java
WrappingLabelEditPart.java
policies
ColumnItemSemanticEditPolicy.java
ForeignKeyForeignColumnItemSemanticEditPolicy.java
ForeignKeyItemSemanticEditPolicy.java
ForeignKeyTableColumnItemSemanticEditPolicy.java
OpenDiagramEditPolicy.java
RelationalDatabaseBaseItemSemanticEditPolicy.java
RelationalDatabaseCanonicalEditPolicy.java
RelationalDatabaseItemSemanticEditPolicy.java
RelationalDatabaseTextNonResizableEditPolicy.java
RelationalDatabaseTextSelectionEditPolicy.java
TableItemSemanticEditPolicy.java
TableTableColumnsCompartmentCanonicalEditPolicy.java
TableTableColumnsCompartmentItemSemanticEditPolicy.java
TableTableForeignKeysCompartmentCanonicalEditPolicy.java
TableTableForeignKeysCompartmentItemSemanticEditPolicy.java
navigator
RelationalDatabaseAbstractNavigatorItem.java
RelationalDatabaseDomainNavigatorContentProvider.java
RelationalDatabaseDomainNavigatorItem.java
RelationalDatabaseDomainNavigatorLabelProvider.java
RelationalDatabaseNavigatorActionProvider.java
RelationalDatabaseNavigatorContentProvider.java
RelationalDatabaseNavigatorGroup.java
RelationalDatabaseNavigatorItem.java
RelationalDatabaseNavigatorLabelProvider.java
RelationalDatabaseNavigatorLinkHelper.java
RelationalDatabaseNavigatorSorter.java
parsers
AbstractParser.java
MessageFormatParser.java
part
DeleteElementAction.java
DiagramEditorContextMenuProvider.java
LoadResourceAction.java
Messages.java
ModelElementSelectionPage.java
RelationalDatabaseCreationWizard.java
RelationalDatabaseCreationWizardPage.java
RelationalDatabaseDiagramActionBarContributor.java
RelationalDatabaseDiagramEditor.java
RelationalDatabaseDiagramEditorPlugin.java
RelationalDatabaseDiagramEditorUtil.java
RelationalDatabaseDiagramUpdateCommand.java
RelationalDatabaseDiagramUpdater.java
RelationalDatabaseDocumentProvider.java
RelationalDatabaseElementChooserDialog.java
RelationalDatabaseInitDiagramFileAction.java
RelationalDatabaseLinkDescriptor.java
RelationalDatabaseMatchingStrategy.java
RelationalDatabaseNewDiagramFileWizard.java
RelationalDatabaseNodeDescriptor.java
RelationalDatabasePaletteFactory.java
RelationalDatabaseShortcutPropertyTester.java
RelationalDatabaseUriEditorInputTester.java
RelationalDatabaseVisualIDRegistry.java
ValidateAction.java
preferences
DiagramAppearancePreferencePage.java
DiagramConnectionsPreferencePage.java
DiagramGeneralPreferencePage.java
DiagramPreferenceInitializer.java
DiagramPrintingPreferencePage.java
DiagramRulersAndGridPreferencePage.java
providers
ElementInitializers.java
RelationalDatabaseEditPartProvider.java
RelationalDatabaseElementTypes.java
RelationalDatabaseIconProvider.java
RelationalDatabaseMarkerNavigationProvider.java
RelationalDatabaseModelingAssistantProvider.java
RelationalDatabaseParserProvider.java
RelationalDatabaseShortcutsDecoratorProvider.java
RelationalDatabaseValidationDecoratorProvider.java
RelationalDatabaseValidationProvider.java
RelationalDatabaseViewProvider.java
sheet
RelationalDatabasePropertySection.java
RelationalDatabaseSheetLabelProvider.java
edu.toronto.cs.se.modelepedia.relationaldatabase.edit
src-gen
edu
toronto
cs
se
modelepedia
relationaldatabase
provider
ColumnItemProvider.java
ForeignKeyItemProvider.java
NamedElementItemProvider.java
RelationalDatabaseEditPlugin.java
RelationalDatabaseItemProvider.java
RelationalDatabaseItemProviderAdapterFactory.java
TableItemProvider.java
edu.toronto.cs.se.modelepedia.relationaldatabase.editor
src-gen
edu
toronto
cs
se
modelepedia
relationaldatabase
presentation
RelationalDatabaseActionBarContributor.java
RelationalDatabaseEditor.java
RelationalDatabaseEditorPlugin.java
RelationalDatabaseModelWizard.java
edu.toronto.cs.se.modelepedia.relationaldatabase_mavo
src-gen
edu
toronto
cs
se
modelepedia
relationaldatabase_mavo
Column.java
ForeignColumnReference.java
ForeignKey.java
NamedElement.java
RelationalDatabase.java
RelationalDatabase_MAVOFactory.java
RelationalDatabase_MAVOPackage.java
Table.java
TableColumnReference.java
impl
ColumnImpl.java
ForeignColumnReferenceImpl.java
ForeignKeyImpl.java
NamedElementImpl.java
RelationalDatabaseImpl.java
RelationalDatabase_MAVOFactoryImpl.java
RelationalDatabase_MAVOPackageImpl.java
TableColumnReferenceImpl.java
TableImpl.java
util
RelationalDatabase_MAVOAdapterFactory.java
RelationalDatabase_MAVOSwitch.java
edu.toronto.cs.se.modelepedia.relationaldatabase_mavo.diagram
src-gen
edu
toronto
cs
se
modelepedia
relationaldatabase_mavo
diagram
edit
commands
ColumnCreateCommand.java
ForeignColumnReferenceCreateCommand.java
ForeignColumnReferenceReorientCommand.java
ForeignKeyCreateCommand.java
RelationalDatabase_MAVOCreateShortcutDecorationsCommand.java
TableColumnReferenceCreateCommand.java
TableColumnReferenceReorientCommand.java
TableCreateCommand.java
helpers
ColumnEditHelper.java
ForeignColumnReferenceEditHelper.java
ForeignKeyEditHelper.java
RelationalDatabaseEditHelper.java
RelationalDatabase_MAVOBaseEditHelper.java
TableColumnReferenceEditHelper.java
TableEditHelper.java
parts
ColumnEditPart.java
ColumnNameEditPart.java
ForeignColumnReferenceEditPart.java
ForeignKeyEditPart.java
ForeignKeyNameEditPart.java
RelationalDatabaseEditPart.java
RelationalDatabase_MAVOEditPartFactory.java
TableColumnReferenceEditPart.java
TableEditPart.java
TableNameEditPart.java
TableTableColumnsCompartmentEditPart.java
TableTableForeignKeysCompartmentEditPart.java
WrappingLabel2EditPart.java
WrappingLabel3EditPart.java
WrappingLabel4EditPart.java
WrappingLabel5EditPart.java
WrappingLabelEditPart.java
policies
ColumnItemSemanticEditPolicy.java
ForeignColumnReferenceItemSemanticEditPolicy.java
ForeignKeyItemSemanticEditPolicy.java
OpenDiagramEditPolicy.java
RelationalDatabaseCanonicalEditPolicy.java
RelationalDatabaseItemSemanticEditPolicy.java
RelationalDatabase_MAVOBaseItemSemanticEditPolicy.java
RelationalDatabase_MAVOTextNonResizableEditPolicy.java
RelationalDatabase_MAVOTextSelectionEditPolicy.java
TableColumnReferenceItemSemanticEditPolicy.java
TableItemSemanticEditPolicy.java
TableTableColumnsCompartmentCanonicalEditPolicy.java
TableTableColumnsCompartmentItemSemanticEditPolicy.java
TableTableForeignKeysCompartmentCanonicalEditPolicy.java
TableTableForeignKeysCompartmentItemSemanticEditPolicy.java
navigator
RelationalDatabase_MAVOAbstractNavigatorItem.java
RelationalDatabase_MAVODomainNavigatorContentProvider.java
RelationalDatabase_MAVODomainNavigatorItem.java
RelationalDatabase_MAVODomainNavigatorLabelProvider.java
RelationalDatabase_MAVONavigatorActionProvider.java
RelationalDatabase_MAVONavigatorContentProvider.java
RelationalDatabase_MAVONavigatorGroup.java
RelationalDatabase_MAVONavigatorItem.java
RelationalDatabase_MAVONavigatorLabelProvider.java
RelationalDatabase_MAVONavigatorLinkHelper.java
RelationalDatabase_MAVONavigatorSorter.java
parsers
AbstractParser.java
MessageFormatParser.java
part
DeleteElementAction.java
DiagramEditorContextMenuProvider.java
LoadResourceAction.java
Messages.java
ModelElementSelectionPage.java
RelationalDatabase_MAVOCreationWizard.java
RelationalDatabase_MAVOCreationWizardPage.java
RelationalDatabase_MAVODiagramActionBarContributor.java
RelationalDatabase_MAVODiagramEditor.java
RelationalDatabase_MAVODiagramEditorPlugin.java
RelationalDatabase_MAVODiagramEditorUtil.java
RelationalDatabase_MAVODiagramUpdateCommand.java
RelationalDatabase_MAVODiagramUpdater.java
RelationalDatabase_MAVODocumentProvider.java
RelationalDatabase_MAVOElementChooserDialog.java
RelationalDatabase_MAVOInitDiagramFileAction.java
RelationalDatabase_MAVOLinkDescriptor.java
RelationalDatabase_MAVOMatchingStrategy.java
RelationalDatabase_MAVONewDiagramFileWizard.java
RelationalDatabase_MAVONodeDescriptor.java
RelationalDatabase_MAVOPaletteFactory.java
RelationalDatabase_MAVOShortcutPropertyTester.java
RelationalDatabase_MAVOUriEditorInputTester.java
RelationalDatabase_MAVOVisualIDRegistry.java
ValidateAction.java
preferences
DiagramAppearancePreferencePage.java
DiagramConnectionsPreferencePage.java
DiagramGeneralPreferencePage.java
DiagramPreferenceInitializer.java
DiagramPrintingPreferencePage.java
DiagramRulersAndGridPreferencePage.java
providers
ElementInitializers.java
RelationalDatabase_MAVOEditPartProvider.java
RelationalDatabase_MAVOElementTypes.java
RelationalDatabase_MAVOIconProvider.java
RelationalDatabase_MAVOMarkerNavigationProvider.java
RelationalDatabase_MAVOModelingAssistantProvider.java
RelationalDatabase_MAVOParserProvider.java
RelationalDatabase_MAVOShortcutsDecoratorProvider.java
RelationalDatabase_MAVOValidationDecoratorProvider.java
RelationalDatabase_MAVOValidationProvider.java
RelationalDatabase_MAVOViewProvider.java
assistants
RelationalDatabase_MAVOModelingAssistantProviderOfColumnEditPart.java
RelationalDatabase_MAVOModelingAssistantProviderOfForeignKeyEditPart.java
RelationalDatabase_MAVOModelingAssistantProviderOfRelationalDatabaseEditPart.java
RelationalDatabase_MAVOModelingAssistantProviderOfTableEditPart.java
sheet
RelationalDatabase_MAVOPropertySection.java
RelationalDatabase_MAVOSheetLabelProvider.java
edu.toronto.cs.se.modelepedia.relationaldatabase_mavo.edit
src-gen
edu
toronto
cs
se
modelepedia
relationaldatabase_mavo
provider
ColumnItemProvider.java
ForeignColumnReferenceItemProvider.java
ForeignKeyItemProvider.java
NamedElementItemProvider.java
RelationalDatabaseItemProvider.java
RelationalDatabase_MAVOEditPlugin.java
RelationalDatabase_MAVOItemProviderAdapterFactory.java
TableColumnReferenceItemProvider.java
TableItemProvider.java
edu.toronto.cs.se.modelepedia.relationaldatabase_mavo.editor
src-gen
edu
toronto
cs
se
modelepedia
relationaldatabase_mavo
presentation
RelationalDatabase_MAVOActionBarContributor.java
RelationalDatabase_MAVOEditor.java
RelationalDatabase_MAVOEditorPlugin.java
RelationalDatabase_MAVOModelWizard.java
StateMachine
edu.toronto.cs.se.modelepedia.statemachine
src-gen
edu
toronto
cs
se
modelepedia
statemachine
AbstractState.java
FinalState.java
FiringElement.java
InitialState.java
State.java
StateAction.java
StateMachine.java
StateMachineFactory.java
StateMachinePackage.java
Transition.java
impl
AbstractStateImpl.java
FinalStateImpl.java
FiringElementImpl.java
InitialStateImpl.java
StateActionImpl.java
StateImpl.java
StateMachineFactoryImpl.java
StateMachineImpl.java
StateMachinePackageImpl.java
TransitionImpl.java
util
StateMachineAdapterFactory.java
StateMachineSwitch.java
edu.toronto.cs.se.modelepedia.statemachine.diagram
src-gen
edu
toronto
cs
se
modelepedia
statemachine
diagram
edit
commands
FinalStateCreateCommand.java
InitialStateCreateCommand.java
StateActionCreateCommand.java
StateCreateCommand.java
StateMachineCreateShortcutDecorationsCommand.java
TransitionCreateCommand.java
TransitionReorientCommand.java
helpers
FinalStateEditHelper.java
InitialStateEditHelper.java
StateActionEditHelper.java
StateEditHelper.java
StateMachineBaseEditHelper.java
StateMachineEditHelper.java
TransitionEditHelper.java
parts
FinalStateEditPart.java
InitialStateEditPart.java
StateActionEditPart.java
StateActionTriggerActionEditPart.java
StateEditPart.java
StateMachineEditPart.java
StateMachineEditPartFactory.java
StateNameEditPart.java
StateStateInternalActionsCompartmentEditPart.java
TransitionEditPart.java
TransitionTriggerActionEditPart.java
policies
FinalStateItemSemanticEditPolicy.java
InitialStateItemSemanticEditPolicy.java
OpenDiagramEditPolicy.java
StateActionItemSemanticEditPolicy.java
StateItemSemanticEditPolicy.java
StateMachineBaseItemSemanticEditPolicy.java
StateMachineCanonicalEditPolicy.java
StateMachineItemSemanticEditPolicy.java
StateMachineTextNonResizableEditPolicy.java
StateMachineTextSelectionEditPolicy.java
StateStateInternalActionsCompartmentCanonicalEditPolicy.java
StateStateInternalActionsCompartmentItemSemanticEditPolicy.java
TransitionItemSemanticEditPolicy.java
navigator
StateMachineAbstractNavigatorItem.java
StateMachineDomainNavigatorContentProvider.java
StateMachineDomainNavigatorItem.java
StateMachineDomainNavigatorLabelProvider.java
StateMachineNavigatorActionProvider.java
StateMachineNavigatorContentProvider.java
StateMachineNavigatorGroup.java
StateMachineNavigatorItem.java
StateMachineNavigatorLabelProvider.java
StateMachineNavigatorLinkHelper.java
StateMachineNavigatorSorter.java
parsers
AbstractParser.java
MessageFormatParser.java
part
DeleteElementAction.java
DiagramEditorContextMenuProvider.java
LoadResourceAction.java
Messages.java
ModelElementSelectionPage.java
StateMachineCreationWizard.java
StateMachineCreationWizardPage.java
StateMachineDiagramActionBarContributor.java
StateMachineDiagramEditor.java
StateMachineDiagramEditorPlugin.java
StateMachineDiagramEditorUtil.java
StateMachineDiagramUpdateCommand.java
StateMachineDiagramUpdater.java
StateMachineDocumentProvider.java
StateMachineElementChooserDialog.java
StateMachineInitDiagramFileAction.java
StateMachineLinkDescriptor.java
StateMachineMatchingStrategy.java
StateMachineNewDiagramFileWizard.java
StateMachineNodeDescriptor.java
StateMachinePaletteFactory.java
StateMachineShortcutPropertyTester.java
StateMachineUriEditorInputTester.java
StateMachineVisualIDRegistry.java
ValidateAction.java
preferences
DiagramAppearancePreferencePage.java
DiagramConnectionsPreferencePage.java
DiagramGeneralPreferencePage.java
DiagramPreferenceInitializer.java
DiagramPrintingPreferencePage.java
DiagramRulersAndGridPreferencePage.java
providers
ElementInitializers.java
StateMachineEditPartProvider.java
StateMachineElementTypes.java
StateMachineIconProvider.java
StateMachineMarkerNavigationProvider.java
StateMachineModelingAssistantProvider.java
StateMachineParserProvider.java
StateMachineShortcutsDecoratorProvider.java
StateMachineValidationDecoratorProvider.java
StateMachineValidationProvider.java
StateMachineViewProvider.java
assistants
StateMachineModelingAssistantProviderOfFinalStateEditPart.java
StateMachineModelingAssistantProviderOfInitialStateEditPart.java
StateMachineModelingAssistantProviderOfStateActionEditPart.java
StateMachineModelingAssistantProviderOfStateEditPart.java
StateMachineModelingAssistantProviderOfStateMachineEditPart.java
sheet
StateMachinePropertySection.java
StateMachineSheetLabelProvider.java
edu.toronto.cs.se.modelepedia.statemachine.edit
src-gen
edu
toronto
cs
se
modelepedia
statemachine
provider
AbstractStateItemProvider.java
FinalStateItemProvider.java
FiringElementItemProvider.java
InitialStateItemProvider.java
StateActionItemProvider.java
StateItemProvider.java
StateMachineEditPlugin.java
StateMachineItemProvider.java
StateMachineItemProviderAdapterFactory.java
TransitionItemProvider.java
edu.toronto.cs.se.modelepedia.statemachine.editor
src-gen
edu
toronto
cs
se
modelepedia
statemachine
presentation
StateMachineActionBarContributor.java
StateMachineEditor.java
StateMachineEditorPlugin.java
StateMachineModelWizard.java
edu.toronto.cs.se.modelepedia.statemachine_mavo
src-gen
edu
toronto
cs
se
modelepedia
statemachine_mavo
AbstractState.java
FinalState.java
FiringElement.java
InitialState.java
State.java
StateAction.java
StateMachine.java
StateMachine_MAVOFactory.java
StateMachine_MAVOPackage.java
Transition.java
impl
AbstractStateImpl.java
FinalStateImpl.java
FiringElementImpl.java
InitialStateImpl.java
StateActionImpl.java
StateImpl.java
StateMachineImpl.java
StateMachine_MAVOFactoryImpl.java
StateMachine_MAVOPackageImpl.java
TransitionImpl.java
util
StateMachine_MAVOAdapterFactory.java
StateMachine_MAVOSwitch.java
edu.toronto.cs.se.modelepedia.statemachine_mavo.diagram
src-gen
edu
toronto
cs
se
modelepedia
statemachine_mavo
diagram
edit
commands
FinalStateCreateCommand.java
InitialStateCreateCommand.java
StateActionCreateCommand.java
StateCreateCommand.java
StateMachine_MAVOCreateShortcutDecorationsCommand.java
TransitionCreateCommand.java
TransitionReorientCommand.java
helpers
FinalStateEditHelper.java
InitialStateEditHelper.java
StateActionEditHelper.java
StateEditHelper.java
StateMachineEditHelper.java
StateMachine_MAVOBaseEditHelper.java
TransitionEditHelper.java
parts
FinalStateEditPart.java
InitialStateEditPart.java
StateActionEditPart.java
StateActionTriggerActionEditPart.java
StateEditPart.java
StateMachineEditPart.java
StateMachine_MAVOEditPartFactory.java
StateNameEditPart.java
StateStateInternalActionsCompartmentEditPart.java
TransitionEditPart.java
TransitionTriggerActionEditPart.java
WrappingLabel2EditPart.java
WrappingLabel3EditPart.java
WrappingLabelEditPart.java
policies
FinalStateItemSemanticEditPolicy.java
InitialStateItemSemanticEditPolicy.java
OpenDiagramEditPolicy.java
StateActionItemSemanticEditPolicy.java
StateItemSemanticEditPolicy.java
StateMachineCanonicalEditPolicy.java
StateMachineItemSemanticEditPolicy.java
StateMachine_MAVOBaseItemSemanticEditPolicy.java
StateMachine_MAVOTextNonResizableEditPolicy.java
StateMachine_MAVOTextSelectionEditPolicy.java
StateStateInternalActionsCompartmentCanonicalEditPolicy.java
StateStateInternalActionsCompartmentItemSemanticEditPolicy.java
TransitionItemSemanticEditPolicy.java
navigator
StateMachine_MAVOAbstractNavigatorItem.java
StateMachine_MAVODomainNavigatorContentProvider.java
StateMachine_MAVODomainNavigatorItem.java
StateMachine_MAVODomainNavigatorLabelProvider.java
StateMachine_MAVONavigatorActionProvider.java
StateMachine_MAVONavigatorContentProvider.java
StateMachine_MAVONavigatorGroup.java
StateMachine_MAVONavigatorItem.java
StateMachine_MAVONavigatorLabelProvider.java
StateMachine_MAVONavigatorLinkHelper.java
StateMachine_MAVONavigatorSorter.java
parsers
AbstractParser.java
MessageFormatParser.java
part
DeleteElementAction.java
DiagramEditorContextMenuProvider.java
LoadResourceAction.java
Messages.java
ModelElementSelectionPage.java
StateMachine_MAVOCreationWizard.java
StateMachine_MAVOCreationWizardPage.java
StateMachine_MAVODiagramActionBarContributor.java
StateMachine_MAVODiagramEditor.java
StateMachine_MAVODiagramEditorPlugin.java
StateMachine_MAVODiagramEditorUtil.java
StateMachine_MAVODiagramUpdateCommand.java
StateMachine_MAVODiagramUpdater.java
StateMachine_MAVODocumentProvider.java
StateMachine_MAVOElementChooserDialog.java
StateMachine_MAVOInitDiagramFileAction.java
StateMachine_MAVOLinkDescriptor.java
StateMachine_MAVOMatchingStrategy.java
StateMachine_MAVONewDiagramFileWizard.java
StateMachine_MAVONodeDescriptor.java
StateMachine_MAVOPaletteFactory.java
StateMachine_MAVOShortcutPropertyTester.java
StateMachine_MAVOUriEditorInputTester.java
StateMachine_MAVOVisualIDRegistry.java
ValidateAction.java
preferences
DiagramAppearancePreferencePage.java
DiagramConnectionsPreferencePage.java
DiagramGeneralPreferencePage.java
DiagramPreferenceInitializer.java
DiagramPrintingPreferencePage.java
DiagramRulersAndGridPreferencePage.java
providers
ElementInitializers.java
StateMachine_MAVOEditPartProvider.java
StateMachine_MAVOElementTypes.java
StateMachine_MAVOIconProvider.java
StateMachine_MAVOMarkerNavigationProvider.java
StateMachine_MAVOModelingAssistantProvider.java
StateMachine_MAVOParserProvider.java
StateMachine_MAVOShortcutsDecoratorProvider.java
StateMachine_MAVOValidationDecoratorProvider.java
StateMachine_MAVOValidationProvider.java
StateMachine_MAVOViewProvider.java
assistants
StateMachine_MAVOModelingAssistantProviderOfFinalStateEditPart.java
StateMachine_MAVOModelingAssistantProviderOfInitialStateEditPart.java
StateMachine_MAVOModelingAssistantProviderOfStateActionEditPart.java
StateMachine_MAVOModelingAssistantProviderOfStateEditPart.java
StateMachine_MAVOModelingAssistantProviderOfStateMachineEditPart.java
sheet
StateMachine_MAVOPropertySection.java
StateMachine_MAVOSheetLabelProvider.java
edu.toronto.cs.se.modelepedia.statemachine_mavo.edit
src-gen
edu
toronto
cs
se
modelepedia
statemachine_mavo
provider
AbstractStateItemProvider.java
FinalStateItemProvider.java
FiringElementItemProvider.java
InitialStateItemProvider.java
StateActionItemProvider.java
StateItemProvider.java
StateMachineItemProvider.java
StateMachine_MAVOEditPlugin.java
StateMachine_MAVOItemProviderAdapterFactory.java
TransitionItemProvider.java
edu.toronto.cs.se.modelepedia.statemachine_mavo.editor
src-gen
edu
toronto
cs
se
modelepedia
statemachine_mavo
presentation
StateMachine_MAVOActionBarContributor.java
StateMachine_MAVOEditor.java
StateMachine_MAVOEditorPlugin.java
StateMachine_MAVOModelWizard.java
edu.toronto.cs.se.modelepedia.statemachine_mavo.operator
src
edu
toronto
cs
se
modelepedia
statemachine_mavo
operator
ParallelComposition.java
StateMachineMAVOToSMTLIB.java
StateMachineMAVOToSMTLIB_M2T.java
Tutorial
edu.toronto.cs.se.modelepedia.tutorial.army
src-gen
edu
toronto
cs
se
modelepedia
tutorial
army
Army.java
ArmyFactory.java
ArmyPackage.java
Unit.java
impl
ArmyFactoryImpl.java
ArmyImpl.java
ArmyPackageImpl.java
UnitImpl.java
util
ArmyAdapterFactory.java
ArmySwitch.java
edu.toronto.cs.se.modelepedia.tutorial.army.diagram
src-gen
edu
toronto
cs
se
modelepedia
tutorial
army
diagram
edit
commands
UnitCreateCommand.java
helpers
ArmyBaseEditHelper.java
ArmyEditHelper.java
UnitEditHelper.java
parts
ArmyEditPart.java
ArmyEditPartFactory.java
UnitEditPart.java
UnitNameEditPart.java
policies
ArmyBaseItemSemanticEditPolicy.java
ArmyCanonicalEditPolicy.java
ArmyItemSemanticEditPolicy.java
ArmyTextNonResizableEditPolicy.java
ArmyTextSelectionEditPolicy.java
UnitItemSemanticEditPolicy.java
navigator
ArmyAbstractNavigatorItem.java
ArmyDomainNavigatorContentProvider.java
ArmyDomainNavigatorItem.java
ArmyDomainNavigatorLabelProvider.java
ArmyNavigatorActionProvider.java
ArmyNavigatorContentProvider.java
ArmyNavigatorGroup.java
ArmyNavigatorItem.java
ArmyNavigatorLabelProvider.java
ArmyNavigatorLinkHelper.java
ArmyNavigatorSorter.java
parsers
AbstractParser.java
MessageFormatParser.java
part
ArmyCreationWizard.java
ArmyCreationWizardPage.java
ArmyDiagramActionBarContributor.java
ArmyDiagramEditor.java
ArmyDiagramEditorPlugin.java
ArmyDiagramEditorUtil.java
ArmyDiagramUpdateCommand.java
ArmyDiagramUpdater.java
ArmyDocumentProvider.java
ArmyInitDiagramFileAction.java
ArmyLinkDescriptor.java
ArmyMatchingStrategy.java
ArmyNewDiagramFileWizard.java
ArmyNodeDescriptor.java
ArmyPaletteFactory.java
ArmyUriEditorInputTester.java
ArmyVisualIDRegistry.java
DeleteElementAction.java
DiagramEditorContextMenuProvider.java
LoadResourceAction.java
Messages.java
ModelElementSelectionPage.java
ValidateAction.java
preferences
DiagramAppearancePreferencePage.java
DiagramConnectionsPreferencePage.java
DiagramGeneralPreferencePage.java
DiagramPreferenceInitializer.java
DiagramPrintingPreferencePage.java
DiagramRulersAndGridPreferencePage.java
providers
ArmyEditPartProvider.java
ArmyElementTypes.java
ArmyIconProvider.java
ArmyMarkerNavigationProvider.java
ArmyModelingAssistantProvider.java
ArmyParserProvider.java
ArmyValidationDecoratorProvider.java
ArmyValidationProvider.java
ArmyViewProvider.java
ElementInitializers.java
assistants
ArmyModelingAssistantProviderOfArmyEditPart.java
ArmyModelingAssistantProviderOfUnitEditPart.java
sheet
ArmyPropertySection.java
ArmySheetLabelProvider.java
edu.toronto.cs.se.modelepedia.tutorial.army.edit
src-gen
edu
toronto
cs
se
modelepedia
tutorial
army
provider
ArmyEditPlugin.java
ArmyItemProvider.java
ArmyItemProviderAdapterFactory.java
UnitItemProvider.java
edu.toronto.cs.se.modelepedia.tutorial.army.editor
src-gen
edu
toronto
cs
se
modelepedia
tutorial
army
presentation
ArmyActionBarContributor.java
ArmyEditor.java
ArmyEditorPlugin.java
ArmyModelWizard.java
edu.toronto.cs.se.modelepedia.tutorial.economy
src-gen
edu
toronto
cs
se
modelepedia
tutorial
economy
Economy.java
EconomyFactory.java
EconomyPackage.java
Gold.java
impl
EconomyFactoryImpl.java
EconomyImpl.java
EconomyPackageImpl.java
GoldImpl.java
util
EconomyAdapterFactory.java
EconomySwitch.java
edu.toronto.cs.se.modelepedia.tutorial.economy.diagram
src-gen
edu
toronto
cs
se
modelepedia
tutorial
economy
diagram
edit
commands
GoldCreateCommand.java
helpers
EconomyBaseEditHelper.java
EconomyEditHelper.java
GoldEditHelper.java
parts
EconomyEditPart.java
EconomyEditPartFactory.java
GoldEditPart.java
policies
EconomyBaseItemSemanticEditPolicy.java
EconomyCanonicalEditPolicy.java
EconomyItemSemanticEditPolicy.java
EconomyTextNonResizableEditPolicy.java
EconomyTextSelectionEditPolicy.java
GoldItemSemanticEditPolicy.java
navigator
EconomyAbstractNavigatorItem.java
EconomyDomainNavigatorContentProvider.java
EconomyDomainNavigatorItem.java
EconomyDomainNavigatorLabelProvider.java
EconomyNavigatorActionProvider.java
EconomyNavigatorContentProvider.java
EconomyNavigatorGroup.java
EconomyNavigatorItem.java
EconomyNavigatorLabelProvider.java
EconomyNavigatorLinkHelper.java
EconomyNavigatorSorter.java
part
DeleteElementAction.java
DiagramEditorContextMenuProvider.java
EconomyCreationWizard.java
EconomyCreationWizardPage.java
EconomyDiagramActionBarContributor.java
EconomyDiagramEditor.java
EconomyDiagramEditorPlugin.java
EconomyDiagramEditorUtil.java
EconomyDiagramUpdateCommand.java
EconomyDiagramUpdater.java
EconomyDocumentProvider.java
EconomyInitDiagramFileAction.java
EconomyLinkDescriptor.java
EconomyMatchingStrategy.java
EconomyNewDiagramFileWizard.java
EconomyNodeDescriptor.java
EconomyPaletteFactory.java
EconomyUriEditorInputTester.java
EconomyVisualIDRegistry.java
LoadResourceAction.java
Messages.java
ModelElementSelectionPage.java
ValidateAction.java
preferences
DiagramAppearancePreferencePage.java
DiagramConnectionsPreferencePage.java
DiagramGeneralPreferencePage.java
DiagramPreferenceInitializer.java
DiagramPrintingPreferencePage.java
DiagramRulersAndGridPreferencePage.java
providers
EconomyEditPartProvider.java
EconomyElementTypes.java
EconomyIconProvider.java
EconomyMarkerNavigationProvider.java
EconomyModelingAssistantProvider.java
EconomyValidationDecoratorProvider.java
EconomyValidationProvider.java
EconomyViewProvider.java
ElementInitializers.java
assistants
EconomyModelingAssistantProviderOfEconomyEditPart.java
EconomyModelingAssistantProviderOfGoldEditPart.java
sheet
EconomyPropertySection.java
EconomySheetLabelProvider.java
edu.toronto.cs.se.modelepedia.tutorial.economy.edit
src-gen
edu
toronto
cs
se
modelepedia
tutorial
economy
provider
EconomyEditPlugin.java
EconomyItemProvider.java
EconomyItemProviderAdapterFactory.java
GoldItemProvider.java
edu.toronto.cs.se.modelepedia.tutorial.economy.editor
src-gen
edu
toronto
cs
se
modelepedia
tutorial
economy
presentation
EconomyActionBarContributor.java
EconomyEditor.java
EconomyEditorPlugin.java
EconomyModelWizard.java
edu.toronto.cs.se.modelepedia.tutorial.operator
src
edu
toronto
cs
se
modelepedia
tutorial
operator
EconomyToArmy.java
EconomyToArmy_M2M.java
StateToArmy.java
StateToArmy_M2M.java
StateToEconomy.java
StateToEconomy_M2M.java
edu.toronto.cs.se.modelepedia.tutorial.state
src-gen
edu
toronto
cs
se
modelepedia
tutorial
state
AdministrativeDivision.java
City.java
NamedElement.java
Region.java
State.java
StateFactory.java
StatePackage.java
impl
AdministrativeDivisionImpl.java
CityImpl.java
NamedElementImpl.java
RegionImpl.java
StateFactoryImpl.java
StateImpl.java
StatePackageImpl.java
util
StateAdapterFactory.java
StateSwitch.java
edu.toronto.cs.se.modelepedia.tutorial.state.diagram
src-gen
edu
toronto
cs
se
modelepedia
tutorial
state
diagram
edit
commands
CityCreateCommand.java
RegionCreateCommand.java
helpers
CityEditHelper.java
RegionEditHelper.java
StateBaseEditHelper.java
StateEditHelper.java
parts
CityEditPart.java
CityNameEditPart.java
RegionEditPart.java
RegionNameEditPart.java
RegionRegionCitiesCompartmentEditPart.java
StateEditPart.java
StateEditPartFactory.java
policies
CityItemSemanticEditPolicy.java
OpenDiagramEditPolicy.java
RegionItemSemanticEditPolicy.java
RegionRegionCitiesCompartmentCanonicalEditPolicy.java
RegionRegionCitiesCompartmentItemSemanticEditPolicy.java
StateBaseItemSemanticEditPolicy.java
StateCanonicalEditPolicy.java
StateItemSemanticEditPolicy.java
StateTextNonResizableEditPolicy.java
StateTextSelectionEditPolicy.java
navigator
StateAbstractNavigatorItem.java
StateDomainNavigatorContentProvider.java
StateDomainNavigatorItem.java
StateDomainNavigatorLabelProvider.java
StateNavigatorActionProvider.java
StateNavigatorContentProvider.java
StateNavigatorGroup.java
StateNavigatorItem.java
StateNavigatorLabelProvider.java
StateNavigatorLinkHelper.java
StateNavigatorSorter.java
parsers
AbstractParser.java
MessageFormatParser.java
part
DeleteElementAction.java
DiagramEditorContextMenuProvider.java
LoadResourceAction.java
Messages.java
ModelElementSelectionPage.java
StateCreationWizard.java
StateCreationWizardPage.java
StateDiagramActionBarContributor.java
StateDiagramEditor.java
StateDiagramEditorPlugin.java
StateDiagramEditorUtil.java
StateDiagramUpdateCommand.java
StateDiagramUpdater.java
StateDocumentProvider.java
StateInitDiagramFileAction.java
StateLinkDescriptor.java
StateMatchingStrategy.java
StateNewDiagramFileWizard.java
StateNodeDescriptor.java
StatePaletteFactory.java
StateUriEditorInputTester.java
StateVisualIDRegistry.java
ValidateAction.java
preferences
DiagramAppearancePreferencePage.java
DiagramConnectionsPreferencePage.java
DiagramGeneralPreferencePage.java
DiagramPreferenceInitializer.java
DiagramPrintingPreferencePage.java
DiagramRulersAndGridPreferencePage.java
providers
ElementInitializers.java
StateEditPartProvider.java
StateElementTypes.java
StateIconProvider.java
StateMarkerNavigationProvider.java
StateModelingAssistantProvider.java
StateParserProvider.java
StateValidationDecoratorProvider.java
StateValidationProvider.java
StateViewProvider.java
assistants
StateModelingAssistantProviderOfCityEditPart.java
StateModelingAssistantProviderOfRegionEditPart.java
StateModelingAssistantProviderOfStateEditPart.java
sheet
StatePropertySection.java
StateSheetLabelProvider.java
edu.toronto.cs.se.modelepedia.tutorial.state.edit
src-gen
edu
toronto
cs
se
modelepedia
tutorial
state
provider
AdministrativeDivisionItemProvider.java
CityItemProvider.java
NamedElementItemProvider.java
RegionItemProvider.java
StateEditPlugin.java
StateItemProvider.java
StateItemProviderAdapterFactory.java
edu.toronto.cs.se.modelepedia.tutorial.state.editor
src-gen
edu
toronto
cs
se
modelepedia
tutorial
state
presentation
StateActionBarContributor.java
StateEditor.java
StateEditorPlugin.java
StateModelWizard.java
tests
edu.toronto.cs.se.modelepedia.tests
src
edu
toronto
cs
se
modelepedia
tests
KleisliTest.java
MMINTTest.java
Z3Test.java
package splar.core.constraints.parsing; // TODO: public class PFParseTree { }