Module dev.civl.abc

Package dev.civl.abc.ast.node.IF.expression

Interface RegularRangeNode

All Superinterfaces:

ASTNode, ExpressionNode, ForLoopInitializerNode, InitializerNode, SizeableNode

public interface RegularRangeNode
extends ExpressionNode

Represents a CIVL-C regular range expression, which has the form lo .. hi or lo .. hi # step.

The step argument is optional. If absent, it is the same as using 1.

If step is positive, it represents the sequence of integers lo, lo+step, lo+2*step, ..., which is truncated so that all entries are less than or equal to hi.

If step is negative, it represents the sequence hi, hi+step, hi+2* step, ..., which is truncated so that all entries are greater than or equal to lo.

Nested Class Summary

Nested classes/interfaces inherited from interface dev.civl.abc.ast.node.IF.ASTNode

ASTNode.NodeKind

Nested classes/interfaces inherited from interface dev.civl.abc.ast.node.IF.expression.ExpressionNode

ExpressionNode.ExpressionKind

Method Summary

Modifier and Type	Method	Description
ExpressionNode	getHigh()	Returns the upper bound argument hi.
ExpressionNode	getLow()	Returns the lower bound argument lo.
ExpressionNode	getStep()	Returns the step argument step if it is present, else returns null
void	setHigh(ExpressionNode arg)	Sets the upper bound argument hi
void	setLow(ExpressionNode arg)	Sets the lower bound argument lo
void	setStep(ExpressionNode arg)	Sets the step argument step

Methods inherited from interface dev.civl.abc.ast.node.IF.ASTNode

addAllTransformAnnotations, addTransformAnnotation, child, childIndex, children, diff, equiv, getAttribute, getOwner, getScope, getSource, id, keepOnly, nextDFS, nodeKind, numChildren, parent, prettyPrint, prettyRepresentation, prettyRepresentation, print, remove, removeChild, removeTransformAnnotation, setAttribute, setChild, setId, setOwner, setScope, toString, transformAnnotations

Methods inherited from interface dev.civl.abc.ast.node.IF.expression.ExpressionNode

addConversion, copy, expressionKind, getConversion, getConvertedType, getInitialType, getNumConversions, isConstantExpression, isLvalue, removeConversions, setInitialType

Methods inherited from interface dev.civl.abc.ast.node.IF.declaration.InitializerNode

isSideEffectFree

Methods inherited from interface dev.civl.abc.ast.node.IF.expression.SizeableNode

getType

Method Details

getLow

ExpressionNode getLow()

Returns the lower bound argument lo.

Returns:

the lower bound

setLow

void setLow(ExpressionNode arg)

Sets the lower bound argument lo

Parameters:

arg - the new lower bound argument

getHigh

ExpressionNode getHigh()

Returns the upper bound argument hi.

Returns:

the lower bound

setHigh

void setHigh(ExpressionNode arg)

Sets the upper bound argument hi

Parameters:

arg - the new upper bound argument

getStep

ExpressionNode getStep()

Returns the step argument step if it is present, else returns null

Returns:

the step argument or null

setStep

void setStep(ExpressionNode arg)

Sets the step argument step

Parameters:

arg - the new step argument