org.eclipse.ocl.examples.pivot
Interface IntegerLiteralExp

All Superinterfaces:
DomainElement, DomainExpression, DomainNamedElement, DomainTypedElement, Element, org.eclipse.emf.ecore.EObject, LiteralExp, Nameable, NamedElement, org.eclipse.emf.common.notify.Notifier, NumericLiteralExp, OCLExpression, PivotObject, PrimitiveLiteralExp, TypedElement, Visitable
All Known Implementing Classes:
IntegerLiteralExpImpl

public interface IntegerLiteralExp
extends NumericLiteralExp

A representation of the model object 'Integer Literal Exp'.

The following features are supported:

See Also:
PivotPackage.getIntegerLiteralExp()
Generated

Method Summary
 java.lang.Number getIntegerSymbol()
          Returns the value of the 'Integer Symbol' attribute.
 void setIntegerSymbol(java.lang.Number value)
          Sets the value of the 'Integer Symbol' attribute.
 boolean validateTypeIsInteger(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 
Methods inherited from interface org.eclipse.ocl.examples.pivot.TypedElement
getType, isRequired, setIsRequired, setType
 
Methods inherited from interface org.eclipse.ocl.examples.pivot.NamedElement
getName, isStatic, setIsStatic, setName
 
Methods inherited from interface org.eclipse.ocl.examples.pivot.Element
allOwnedElements, getETarget, getExtension, getOwnedAnnotation, getOwnedComment, getValue
 
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
 
Methods inherited from interface org.eclipse.ocl.examples.pivot.util.Visitable
accept, eClass
 
Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainTypedElement
getTypeId
 

Method Detail

getIntegerSymbol

java.lang.Number getIntegerSymbol()
Returns the value of the 'Integer Symbol' attribute.

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

Returns:
the value of the 'Integer Symbol' attribute.
See Also:
setIntegerSymbol(Number), PivotPackage.getIntegerLiteralExp_IntegerSymbol()
Generated

setIntegerSymbol

void setIntegerSymbol(java.lang.Number value)
Sets the value of the 'Integer Symbol' attribute.

Parameters:
value - the new value of the 'Integer Symbol' attribute.
See Also:
getIntegerSymbol()
Generated

validateTypeIsInteger

boolean validateTypeIsInteger(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                              java.util.Map<java.lang.Object,java.lang.Object> context)

Generated