org.eclipse.ocl.expressions

Interface UnlimitedNaturalLiteralExp<C>

All Superinterfaces:

ASTNode, LiteralExp<C>, NumericLiteralExp<C>, OCLExpression<C>, PrimitiveLiteralExp<C>, TypedElement<C>, Visitable

All Known Implementing Classes:

UnlimitedNaturalLiteralExpImpl

public interface UnlimitedNaturalLiteralExp<C>
extends NumericLiteralExp<C>

A representation of the model object 'Unlimited Natural Literal Exp'.

The following features are supported:

• Integer Symbol
• Unlimited

See Also:

ExpressionsPackage.getUnlimitedNaturalLiteralExp()

Field Summary

Fields

Modifier and Type	Field and Description
static int	UNLIMITED Java value denoting the OCL unlimited value.

Method Summary

Modifier and Type	Method and Description
boolean	checkNaturalType(DiagnosticChain diagnostics, Map<Object,Object> context) self.type.name = 'UnlimitedNatural'
Integer	getIntegerSymbol() Returns the value of the 'Integer Symbol' attribute.
boolean	isUnlimited() Returns the value of the 'Unlimited' attribute.
void	setIntegerSymbol(Integer value) Sets the value of the 'Integer Symbol' attribute.

Methods inherited from interface org.eclipse.ocl.utilities.TypedElement

getName, getType, setName, setType

Methods inherited from interface org.eclipse.ocl.utilities.Visitable

accept

Methods inherited from interface org.eclipse.ocl.utilities.ASTNode

getEndPosition, getStartPosition, setEndPosition, setStartPosition

Field Detail

UNLIMITED

static final int UNLIMITED

Java value denoting the OCL unlimited value.

See Also:

Constant Field Values

Method Detail

getIntegerSymbol

Integer 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(Integer), ExpressionsPackage.getUnlimitedNaturalLiteralExp_IntegerSymbol()

setIntegerSymbol

void setIntegerSymbol(Integer value)

Sets the value of the 'Integer Symbol' attribute.

Parameters:

value - the new value of the 'Integer Symbol' attribute.

See Also:

getIntegerSymbol()

isUnlimited

boolean isUnlimited()

Returns the value of the 'Unlimited' attribute.

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

Returns:

the value of the 'Unlimited' attribute.

See Also:

ExpressionsPackage.getUnlimitedNaturalLiteralExp_Unlimited()

checkNaturalType

boolean checkNaturalType(DiagnosticChain diagnostics,
                         Map<Object,Object> context)

self.type.name = 'UnlimitedNatural'

Parameters:

diagnostics - The chain of diagnostics to which problems are to be appended.

context - The cache of context-specific information.