org.eclipse.ocl.xtext.basecs

Interface SpecificationCS

All Superinterfaces:

ElementCS, org.eclipse.emf.ecore.EObject, ModelElementCS, org.eclipse.emf.common.notify.Notifier, Pivotable, PivotableElementCS, VisitableCS

All Known Subinterfaces:

ExpSpecificationCS

All Known Implementing Classes:

ExpSpecificationCSImpl, SpecificationCSImpl

public interface SpecificationCS
extends ModelElementCS

A representation of the model object 'Specification CS'.

The following features are supported:

• Expr String

See Also:

BaseCSPackage.getSpecificationCS()

Generated

Model

Method Summary

Modifier and Type	Method and Description
java.lang.String	getExprString() Returns the value of the 'Expr String' attribute.
void	setExprString(java.lang.String value) Sets the value of the 'Expr String' attribute.

Methods inherited from interface org.eclipse.ocl.xtext.basecs.ModelElementCS

getOriginalXmiId, getOwnedAnnotations, setOriginalXmiId

Methods inherited from interface org.eclipse.ocl.xtext.basecs.PivotableElementCS

getPivot, setPivot

Methods inherited from interface org.eclipse.ocl.xtext.basecs.ElementCS

accept, getCsi, getDescription, getParent, setCsi

Methods inherited from interface org.eclipse.ocl.xtext.basecs.util.VisitableCS

eClass

Methods inherited from interface org.eclipse.ocl.pivot.utilities.Pivotable

resetPivot

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

getExprString

java.lang.String getExprString()

Returns the value of the 'Expr String' attribute.

If the meaning of the 'Expr String' attribute isn't clear, there really should be more of a description here...

Returns:

the value of the 'Expr String' attribute.

See Also:

setExprString(String), BaseCSPackage.getSpecificationCS_ExprString()

Generated

Model

dataType="org.eclipse.ocl.pivot.String"

setExprString

void setExprString(java.lang.String value)

Sets the value of the 'Expr String' attribute.

Parameters:

value - the new value of the 'Expr String' attribute.

See Also:

getExprString()

Generated