OCL
A B C D E F G H I K L M N O P R S T U V W

C

caseContext(Context) - Method in class org.topcased.checkresultmodel.util.CheckresultmodelSwitch
Returns the result of interpretting the object as an instance of 'Context'.
caseItem(Item) - Method in class org.topcased.checkresultmodel.util.CheckresultmodelSwitch
Returns the result of interpretting the object as an instance of 'Item'.
caseModel(Model) - Method in class org.topcased.checkresultmodel.util.CheckresultmodelSwitch
Returns the result of interpretting the object as an instance of 'Model'.
caseModelInformation(ModelInformation) - Method in class org.topcased.checkresultmodel.util.CheckresultmodelSwitch
Returns the result of interpretting the object as an instance of 'Model Information'.
casePackage(Package) - Method in class org.topcased.checkresultmodel.util.CheckresultmodelSwitch
Returns the result of interpretting the object as an instance of 'Package'.
caseRule(Rule) - Method in class org.topcased.checkresultmodel.util.CheckresultmodelSwitch
Returns the result of interpretting the object as an instance of 'Rule'.
changedResources - Variable in class org.topcased.checkresultmodel.presentation.CheckresultmodelEditor
Resources that have been changed since last activation.
changeNotifier - Variable in class org.topcased.checkresultmodel.provider.CheckresultmodelItemProviderAdapterFactory
This is used to implement IChangeNotifier.
CheckerDialog - Class in org.topcased.service.oclchecker.dialogs
 
CheckerDialog(Shell) - Constructor for class org.topcased.service.oclchecker.dialogs.CheckerDialog
Constructor
CheckerDialog(Shell, IFile) - Constructor for class org.topcased.service.oclchecker.dialogs.CheckerDialog
Constructor
CheckerDialog(Shell, EObject) - Constructor for class org.topcased.service.oclchecker.dialogs.CheckerDialog
Constructor
CheckResultDialog - Class in org.topcased.checkresultmodel.dialog
 
CheckResultDialog(Shell, Model, boolean, boolean) - Constructor for class org.topcased.checkresultmodel.dialog.CheckResultDialog
 
CheckresultmodelActionBarContributor - Class in org.topcased.checkresultmodel.presentation
This is the action bar contributor for the Checkresultmodel model editor.
CheckresultmodelActionBarContributor() - Constructor for class org.topcased.checkresultmodel.presentation.CheckresultmodelActionBarContributor
This creates an instance of the contributor.
CheckresultmodelAdapterFactory - Class in org.topcased.checkresultmodel.util
The Adapter Factory for the model.
CheckresultmodelAdapterFactory() - Constructor for class org.topcased.checkresultmodel.util.CheckresultmodelAdapterFactory
Creates an instance of the adapter factory.
CheckresultmodelEditor - Class in org.topcased.checkresultmodel.presentation
This is an example of a Checkresultmodel model editor.
CheckresultmodelEditor() - Constructor for class org.topcased.checkresultmodel.presentation.CheckresultmodelEditor
This creates a model editor.
CheckresultmodelEditor.ReverseAdapterFactoryContentProvider - Class in org.topcased.checkresultmodel.presentation
 
CheckresultmodelEditor.ReverseAdapterFactoryContentProvider(AdapterFactory) - Constructor for class org.topcased.checkresultmodel.presentation.CheckresultmodelEditor.ReverseAdapterFactoryContentProvider
 
CheckresultmodelEditorPlugin - Class in org.topcased.checkresultmodel.presentation
This is the central singleton for the Checkresultmodel editor plugin.
CheckresultmodelEditorPlugin() - Constructor for class org.topcased.checkresultmodel.presentation.CheckresultmodelEditorPlugin
Create the instance.
CheckresultmodelEditorPlugin.Implementation - Class in org.topcased.checkresultmodel.presentation
The actual implementation of the Eclipse Plugin.
CheckresultmodelEditorPlugin.Implementation() - Constructor for class org.topcased.checkresultmodel.presentation.CheckresultmodelEditorPlugin.Implementation
Creates an instance.
CheckresultmodelEditPlugin - Class in org.topcased.checkresultmodel.provider
This is the central singleton for the Checkresultmodel edit plugin.
CheckresultmodelEditPlugin() - Constructor for class org.topcased.checkresultmodel.provider.CheckresultmodelEditPlugin
Create the instance.
CheckresultmodelEditPlugin.Implementation - Class in org.topcased.checkresultmodel.provider
The actual implementation of the Eclipse Plugin.
CheckresultmodelEditPlugin.Implementation() - Constructor for class org.topcased.checkresultmodel.provider.CheckresultmodelEditPlugin.Implementation
Creates an instance.
CheckresultmodelFactory - Interface in org.topcased.checkresultmodel
The Factory for the model.
checkresultmodelFactory - Variable in class org.topcased.checkresultmodel.presentation.CheckresultmodelModelWizard
This caches an instance of the model factory.
CheckresultmodelFactoryImpl - Class in org.topcased.checkresultmodel.impl
An implementation of the model Factory.
CheckresultmodelFactoryImpl() - Constructor for class org.topcased.checkresultmodel.impl.CheckresultmodelFactoryImpl
Creates an instance of the factory.
CheckResultModelHelper - Class in org.topcased.checkresultmodel.helper
Helper class proposing a set of convenient static methods to easily handle CheckResultModel.
CheckResultModelHelper() - Constructor for class org.topcased.checkresultmodel.helper.CheckResultModelHelper
 
CheckresultmodelItemProviderAdapterFactory - Class in org.topcased.checkresultmodel.provider
This is the factory that is used to provide the interfaces needed to support Viewers.
CheckresultmodelItemProviderAdapterFactory() - Constructor for class org.topcased.checkresultmodel.provider.CheckresultmodelItemProviderAdapterFactory
This constructs an instance.
CheckresultmodelModelWizard - Class in org.topcased.checkresultmodel.presentation
This is a simple wizard for creating a new model file.
CheckresultmodelModelWizard() - Constructor for class org.topcased.checkresultmodel.presentation.CheckresultmodelModelWizard
 
CheckresultmodelModelWizard.CheckresultmodelModelWizardInitialObjectCreationPage - Class in org.topcased.checkresultmodel.presentation
This is the page where the type of object to create is selected.
CheckresultmodelModelWizard.CheckresultmodelModelWizardInitialObjectCreationPage(String) - Constructor for class org.topcased.checkresultmodel.presentation.CheckresultmodelModelWizard.CheckresultmodelModelWizardInitialObjectCreationPage
Pass in the selection.
CheckresultmodelModelWizard.CheckresultmodelModelWizardNewFileCreationPage - Class in org.topcased.checkresultmodel.presentation
This is the one page of the wizard.
CheckresultmodelModelWizard.CheckresultmodelModelWizardNewFileCreationPage(String, IStructuredSelection) - Constructor for class org.topcased.checkresultmodel.presentation.CheckresultmodelModelWizard.CheckresultmodelModelWizardNewFileCreationPage
Pass in the selection.
CheckresultmodelPackage - Interface in org.topcased.checkresultmodel
The Package for the model.
checkresultmodelPackage - Variable in class org.topcased.checkresultmodel.presentation.CheckresultmodelModelWizard
This caches an instance of the model package.
CheckresultmodelPackage.Literals - Interface in org.topcased.checkresultmodel
Defines literals for the meta objects that represent each class, each feature of each class, each enum, and each data type
CheckresultmodelPackageImpl - Class in org.topcased.checkresultmodel.impl
An implementation of the model Package.
CheckresultmodelPlugin - Class in org.topcased.checkresultmodel
This is the central singleton for the Checkresultmodel model plugin.
CheckresultmodelPlugin() - Constructor for class org.topcased.checkresultmodel.CheckresultmodelPlugin
Create the instance.
CheckresultmodelPlugin.Implementation - Class in org.topcased.checkresultmodel
The actual implementation of the Eclipse Plugin.
CheckresultmodelPlugin.Implementation() - Constructor for class org.topcased.checkresultmodel.CheckresultmodelPlugin.Implementation
Creates an instance.
CheckresultmodelSwitch<T> - Class in org.topcased.checkresultmodel.util
The Switch for the model's inheritance hierarchy.
CheckresultmodelSwitch() - Constructor for class org.topcased.checkresultmodel.util.CheckresultmodelSwitch
Creates an instance of the switch.
CheckresultmodelTreeViewerFactory - Class in org.topcased.checkresultmodel.dialog
 
CheckresultmodelTreeViewerFactory() - Constructor for class org.topcased.checkresultmodel.dialog.CheckresultmodelTreeViewerFactory
 
COLLECTION - Static variable in class org.topcased.editors.ocleditor.assistant.OCLContentScanner
 
COLON - Static variable in class org.topcased.editors.ocleditor.assistant.OCLContentScanner
 
COMA - Static variable in class org.topcased.editors.ocleditor.assistant.OCLContentScanner
 
COMMENT - Static variable in class org.topcased.editors.ocleditor.assistant.OCLContentScanner
 
computeCompletionProposals(ITextViewer, int) - Method in class org.topcased.editors.ocleditor.assistant.OCLEditorContentProcessor
 
computeContextClassifier(IDocument) - Method in class org.topcased.editors.ocleditor.assistant.OCLEditorContentProcessor
Compute the first context of the given document
computeContextClassifier(IDocument, EPackage, ITypedRegion, ITypedRegion) - Static method in class org.topcased.editors.ocleditor.utils.OCLRuleUtil
Compute the context of the given region in the document
computeContextClassifierForPartition(IDocument, ITypedRegion) - Method in class org.topcased.editors.ocleditor.assistant.OCLEditorContentProcessor
Compute the context of a specific partition
computeContextInformation(ITextViewer, int) - Method in class org.topcased.editors.ocleditor.assistant.OCLEditorContentProcessor
 
computePartitioning(int, int) - Method in class org.topcased.editors.ocleditor.editor.OCLEditorDocumentPartitioner
Splits an OCL Document in regions in giving a typed value for each of them.
computeTypedContext(IDocument, EPackage, ITypedRegion, ITypedRegion) - Static method in class org.topcased.editors.ocleditor.utils.OCLRuleUtil
 
configure() - Method in class org.topcased.editors.ocleditor.builders.OCLEditorProjectNature
 
configureShell(Shell) - Method in class org.topcased.checkresultmodel.dialog.CheckResultDialog
 
configureShell(Shell) - Method in class org.topcased.editors.ocleditor.actions.LoadModelDialog
 
configureShell(Shell) - Method in class org.topcased.service.oclchecker.dialogs.CheckerDialog
 
configureShell(Shell) - Method in class org.topcased.service.oclchecker.dialogs.StatisticDialog
 
connect(IDocument) - Method in class org.topcased.editors.ocleditor.editor.OCLEditorDocumentPartitioner
 
contentOutlinePage - Variable in class org.topcased.checkresultmodel.presentation.CheckresultmodelEditor
This is the content outline page.
contentOutlineStatusLineManager - Variable in class org.topcased.checkresultmodel.presentation.CheckresultmodelEditor
This is a kludge...
contentOutlineViewer - Variable in class org.topcased.checkresultmodel.presentation.CheckresultmodelEditor
This is the content outline page's viewer.
CONTEXT - Static variable in interface org.topcased.checkresultmodel.CheckresultmodelPackage
The meta object id for the 'Context' class.
CONTEXT - Static variable in interface org.topcased.checkresultmodel.CheckresultmodelPackage.Literals
The meta object literal for the 'Context' class.
Context - Interface in org.topcased.checkresultmodel
A representation of the model object 'Context'.
context - Variable in class org.topcased.checkresultmodel.impl.PackageImpl
The cached value of the 'Context' containment reference list.
CONTEXT - Static variable in class org.topcased.editors.ocleditor.MetaModelOCL
 
CONTEXT__CONTEXT_CLASS - Static variable in interface org.topcased.checkresultmodel.CheckresultmodelPackage
The feature id for the 'Context Class' reference.
CONTEXT__CONTEXT_CLASS - Static variable in interface org.topcased.checkresultmodel.CheckresultmodelPackage.Literals
The meta object literal for the 'Context Class' reference feature.
CONTEXT__NAME - Static variable in interface org.topcased.checkresultmodel.CheckresultmodelPackage
The feature id for the 'Name' attribute.
CONTEXT__NAME - Static variable in interface org.topcased.checkresultmodel.CheckresultmodelPackage.Literals
The meta object literal for the 'Name' attribute feature.
CONTEXT__RULES - Static variable in interface org.topcased.checkresultmodel.CheckresultmodelPackage
The feature id for the 'Rules' containment reference list.
CONTEXT__RULES - Static variable in interface org.topcased.checkresultmodel.CheckresultmodelPackage.Literals
The meta object literal for the 'Rules' containment reference list feature.
CONTEXT_CONTENT - Static variable in class org.topcased.editors.ocleditor.editor.OCLEditorDocumentPartitioner
 
CONTEXT_FEATURE_COUNT - Static variable in interface org.topcased.checkresultmodel.CheckresultmodelPackage
The number of structural features of the 'Context' class.
contextClass - Variable in class org.topcased.checkresultmodel.impl.ContextImpl
The cached value of the 'Context Class' reference.
ContextImpl - Class in org.topcased.checkresultmodel.impl
An implementation of the model object 'Context'.
ContextImpl() - Constructor for class org.topcased.checkresultmodel.impl.ContextImpl
 
contextItemProvider - Variable in class org.topcased.checkresultmodel.provider.CheckresultmodelItemProviderAdapterFactory
This keeps track of the one adapter used for all Context instances.
ContextItemProvider - Class in org.topcased.checkresultmodel.provider
This is the item provider adapter for a Context object.
ContextItemProvider(AdapterFactory) - Constructor for class org.topcased.checkresultmodel.provider.ContextItemProvider
This constructs an instance from a factory and a notifier.
contextPackages - Variable in class org.topcased.checkresultmodel.impl.ModelImpl
The cached value of the 'Context Packages' containment reference list.
contributeToMenu(IMenuManager) - Method in class org.topcased.checkresultmodel.presentation.CheckresultmodelActionBarContributor
This adds to the menu bar a menu and some separators for editor additions, as well as the sub-menus for object creation items.
contributeToToolBar(IToolBarManager) - Method in class org.topcased.checkresultmodel.presentation.CheckresultmodelActionBarContributor
This adds Separators for editor additions to the tool bar.
convertStateToString(EDataType, Object) - Method in class org.topcased.checkresultmodel.impl.CheckresultmodelFactoryImpl
 
convertToString(EDataType, Object) - Method in class org.topcased.checkresultmodel.impl.CheckresultmodelFactoryImpl
 
create(EClass) - Method in class org.topcased.checkresultmodel.impl.CheckresultmodelFactoryImpl
 
createAcceptedItems(Rule, List<?>) - Static method in class org.topcased.checkresultmodel.helper.CheckResultModelHelper
Creates a list of the accepted items concerning a rule.
createActions() - Method in class org.topcased.editors.ocleditor.editor.OCLEditor
 
createAdapter(Notifier) - Method in class org.topcased.checkresultmodel.util.CheckresultmodelAdapterFactory
Creates an adapter for the target.
createButton(Composite, int, String, boolean) - Method in class org.topcased.editors.ocleditor.actions.LoadModelDialog
 
createButtonsForButtonBar(Composite) - Method in class org.topcased.checkresultmodel.dialog.CheckResultDialog
 
createButtonsForButtonBar(Composite) - Method in class org.topcased.service.oclchecker.dialogs.CheckerDialog
 
createButtonsForButtonBar(Composite) - Method in class org.topcased.service.oclchecker.dialogs.StatisticDialog
 
createCheckResulModel(EObject, EPackage, EClass, String) - Static method in class org.topcased.checkresultmodel.helper.CheckResultModelHelper
Creates a default Topcased CheckResultModel
createConstraint(ITypedRegion, Document, OCLHelper<EClassifier, EOperation, EStructuralFeature, Constraint>) - Static method in class org.topcased.editors.ocleditor.utils.OCLRuleUtil
Create the typed constraint for the identified region
createContext() - Method in interface org.topcased.checkresultmodel.CheckresultmodelFactory
Returns a new object of class 'Context'.
createContext(Package, EClass) - Static method in class org.topcased.checkresultmodel.helper.CheckResultModelHelper
Creates a Context and adds it to the current Package
createContext() - Method in class org.topcased.checkresultmodel.impl.CheckresultmodelFactoryImpl
 
createContextAdapter() - Method in class org.topcased.checkresultmodel.provider.CheckresultmodelItemProviderAdapterFactory
This creates an adapter for a Context.
createContextAdapter() - Method in class org.topcased.checkresultmodel.util.CheckresultmodelAdapterFactory
Creates a new adapter for an object of class 'Context'.
createContextMenuFor(StructuredViewer) - Method in class org.topcased.checkresultmodel.presentation.CheckresultmodelEditor
This creates a context menu for the viewer and adds a listener as well registering the menu for extension.
createControl(Composite) - Method in class org.topcased.checkresultmodel.presentation.CheckresultmodelModelWizard.CheckresultmodelModelWizardInitialObjectCreationPage
 
createControl(Composite) - Method in class org.topcased.editors.ocleditor.wizard.NewRuleFileWizardPage
 
createDialogArea(Composite) - Method in class org.topcased.checkresultmodel.dialog.CheckResultDialog
 
createDialogArea(Composite) - Method in class org.topcased.editors.ocleditor.actions.LoadModelDialog
 
createDialogArea(Composite) - Method in class org.topcased.service.oclchecker.dialogs.CheckerDialog
 
createDialogArea(Composite) - Method in class org.topcased.service.oclchecker.dialogs.StatisticDialog
 
createEObjectAdapter() - Method in class org.topcased.checkresultmodel.util.CheckresultmodelAdapterFactory
Creates a new adapter for the default case.
createFromString(EDataType, String) - Method in class org.topcased.checkresultmodel.impl.CheckresultmodelFactoryImpl
 
createInitialModel() - Method in class org.topcased.checkresultmodel.presentation.CheckresultmodelModelWizard
Create a new model.
createItem() - Method in interface org.topcased.checkresultmodel.CheckresultmodelFactory
Returns a new object of class 'Item'.
createItem() - Method in class org.topcased.checkresultmodel.impl.CheckresultmodelFactoryImpl
 
createItemAdapter() - Method in class org.topcased.checkresultmodel.provider.CheckresultmodelItemProviderAdapterFactory
This creates an adapter for a Item.
createItemAdapter() - Method in class org.topcased.checkresultmodel.util.CheckresultmodelAdapterFactory
Creates a new adapter for an object of class 'Item'.
createModel() - Method in interface org.topcased.checkresultmodel.CheckresultmodelFactory
Returns a new object of class 'Model'.
createModel() - Method in class org.topcased.checkresultmodel.impl.CheckresultmodelFactoryImpl
 
createModel() - Method in class org.topcased.checkresultmodel.presentation.CheckresultmodelEditor
This is the method called to load a resource into the editing domain's resource set based on the editor's input.
createModelAdapter() - Method in class org.topcased.checkresultmodel.provider.CheckresultmodelItemProviderAdapterFactory
This creates an adapter for a Model.
createModelAdapter() - Method in class org.topcased.checkresultmodel.util.CheckresultmodelAdapterFactory
Creates a new adapter for an object of class 'Model'.
createModelInformation() - Method in interface org.topcased.checkresultmodel.CheckresultmodelFactory
Returns a new object of class 'Model Information'.
createModelInformation() - Method in class org.topcased.checkresultmodel.impl.CheckresultmodelFactoryImpl
 
createModelInformationAdapter() - Method in class org.topcased.checkresultmodel.provider.CheckresultmodelItemProviderAdapterFactory
This creates an adapter for a ModelInformation.
createModelInformationAdapter() - Method in class org.topcased.checkresultmodel.util.CheckresultmodelAdapterFactory
Creates a new adapter for an object of class 'Model Information'.
createOCLExpression(String, String, String) - Static method in class org.topcased.service.oclchecker.helper.OCLServiceHelper
Creates an OCL Expression
createOCLQuery(String, String, String) - Static method in class org.topcased.service.oclchecker.helper.OCLServiceHelper
Creates an OCL Query
createPackage() - Method in interface org.topcased.checkresultmodel.CheckresultmodelFactory
Returns a new object of class 'Package'.
createPackage(Model, EPackage) - Static method in class org.topcased.checkresultmodel.helper.CheckResultModelHelper
Creates a Package and adds it to the Check Result Model
createPackage() - Method in class org.topcased.checkresultmodel.impl.CheckresultmodelFactoryImpl
 
createPackageAdapter() - Method in class org.topcased.checkresultmodel.provider.CheckresultmodelItemProviderAdapterFactory
This creates an adapter for a Package.
createPackageAdapter() - Method in class org.topcased.checkresultmodel.util.CheckresultmodelAdapterFactory
Creates a new adapter for an object of class 'Package'.
createPackageContents() - Method in class org.topcased.checkresultmodel.impl.CheckresultmodelPackageImpl
Creates the meta-model objects for the package.
createPages() - Method in class org.topcased.checkresultmodel.presentation.CheckresultmodelEditor
This is the method used by the framework to install your own controls.
createRejectedItems(Rule, List<?>) - Static method in class org.topcased.checkresultmodel.helper.CheckResultModelHelper
Creates a list of the rejected items concerning a rule.
createRule() - Method in interface org.topcased.checkresultmodel.CheckresultmodelFactory
Returns a new object of class 'Rule'.
createRule(Context, String) - Static method in class org.topcased.checkresultmodel.helper.CheckResultModelHelper
Creates a Rule and adds it to the current context
createRule() - Method in class org.topcased.checkresultmodel.impl.CheckresultmodelFactoryImpl
 
createRuleAdapter() - Method in class org.topcased.checkresultmodel.provider.CheckresultmodelItemProviderAdapterFactory
This creates an adapter for a Rule.
createRuleAdapter() - Method in class org.topcased.checkresultmodel.util.CheckresultmodelAdapterFactory
Creates a new adapter for an object of class 'Rule'.
createStateFromString(EDataType, String) - Method in class org.topcased.checkresultmodel.impl.CheckresultmodelFactoryImpl
 
createTreeViewer(Composite, boolean) - Static method in class org.topcased.checkresultmodel.dialog.CheckresultmodelTreeViewerFactory
 
currentViewer - Variable in class org.topcased.checkresultmodel.presentation.CheckresultmodelEditor
This keeps track of the active content viewer, which may be either one of the viewers in the pages or the content outline viewer.
currentViewerPane - Variable in class org.topcased.checkresultmodel.presentation.CheckresultmodelEditor
This keeps track of the active viewer pane, in the book.

OCL
A B C D E F G H I K L M N O P R S T U V W

Copyright (c) 2005 TOPCASED Contributors 2005 - 2007. All rights reserved.