org.verapdf.model

Interface Model

All Superinterfaces:

org.eclipse.emf.ecore.EObject, org.eclipse.emf.common.notify.Notifier

All Known Implementing Classes:

ModelImpl

public interface Model
extends org.eclipse.emf.ecore.EObject

A representation of the model object 'Model'.

The following features are supported:

• Name
• Imports
• Elements

See Also:

ModelPackage.getModel()

Method Summary

Modifier and Type	Method and Description
org.eclipse.emf.common.util.EList<Entity>	getElements() Returns the value of the 'Elements' containment reference list.
org.eclipse.emf.common.util.EList<Import>	getImports() Returns the value of the 'Imports' containment reference list.
String	getName() Returns the value of the 'Name' attribute.
void	setName(String value) Sets the value of the 'Name' attribute.

Methods inherited from interface org.eclipse.emf.ecore.EObject

eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset

Methods inherited from interface org.eclipse.emf.common.notify.Notifier

eAdapters, eDeliver, eNotify, eSetDeliver

Method Detail

getName

String getName()

Returns the value of the 'Name' attribute.

Returns:

the value of the 'Name' attribute.

See Also:

setName(String), ModelPackage.getModel_Name()

setName

void setName(String value)

Sets the value of the 'Name' attribute.

Parameters:

value - the new value of the 'Name' attribute.

See Also:

getName()

getImports

org.eclipse.emf.common.util.EList<Import> getImports()

Returns the value of the 'Imports' containment reference list. The list contents are of type Import.

Returns:

the value of the 'Imports' containment reference list.

See Also:

ModelPackage.getModel_Imports()

getElements

org.eclipse.emf.common.util.EList<Entity> getElements()

Returns the value of the 'Elements' containment reference list. The list contents are of type Entity.

Returns:

the value of the 'Elements' containment reference list.

See Also:

ModelPackage.getModel_Elements()