Module dev.civl.mc

Package dev.civl.mc.model.IF.expression

Interface CompoundLiteralExpression

All Superinterfaces:

Expression, LiteralExpression, Sourceable

public interface CompoundLiteralExpression
extends LiteralExpression

This class represents compound literal expressions, including string literals. A CompoundLiteralExpression should be set with either a CompoundLiteralExpression.CIVLCompoundLiteralObject or a constant value, but not both of them.

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static interface	CompoundLiteralExpression.CIVLCompoundLiteralObject	The CIVL model counterpart of CompoundLiteralObject in ABC.
static interface	CompoundLiteralExpression.CIVLLiteralObject	The CIVL model counterpart of LiteralObject in ABC.
static interface	CompoundLiteralExpression.CIVLScalarLiteralObject	The CIVL model counterpart of ScalarLiteralObject in ABC.

Nested classes/interfaces inherited from interface dev.civl.mc.model.IF.expression.Expression

Expression.ExpressionKind

Nested classes/interfaces inherited from interface dev.civl.mc.model.IF.expression.LiteralExpression

LiteralExpression.LiteralKind

Method Summary

Modifier and Type	Method	Description
CompoundLiteralExpression.CIVLCompoundLiteralObject	createCompoundLiteralObject(CIVLType type, List<CompoundLiteralExpression.CIVLLiteralObject> elements)
CompoundLiteralExpression.CIVLLiteralObject	createScalarLiteralObject(CIVLType type, Expression expr)
CompoundLiteralExpression.CIVLCompoundLiteralObject	getLiteralObject()
boolean	isStringLiteral()
void	setLiteralObject(CompoundLiteralExpression.CIVLCompoundLiteralObject obj)	Set CompoundLiteralExpression.CIVLCompoundLiteralObject of this expression.
CIVLType	type()

Methods inherited from interface dev.civl.mc.model.IF.expression.Expression

calculateConstantValue, calculateDerefs, constantValue, containsHere, expressionKind, expressionScope, freeVariables, getExpressionType, hasConstantValue, hasDerefs, isErrorFree, isPurelyLocal, lowestScope, purelyLocalAnalysis, purelyLocalAnalysisOfVariables, replaceWith, replaceWith, setErrorFree, variableAddressedOf, variableAddressedOf

Methods inherited from interface dev.civl.mc.model.IF.expression.LiteralExpression

literalKind, setLiteralConstantValue

Methods inherited from interface dev.civl.mc.model.IF.Sourceable

getSource, setCIVLSource

Method Details

type

CIVLType type()

Returns:

a C aggregate type

isStringLiteral

boolean isStringLiteral()

Returns:

true iff this compound literal expression represents a string literal

setLiteralObject

void setLiteralObject(CompoundLiteralExpression.CIVLCompoundLiteralObject obj)

Set CompoundLiteralExpression.CIVLCompoundLiteralObject of this expression. A CompoundLiteralExpression must either have a CompoundLiteralObj or a constant value.

getLiteralObject

CompoundLiteralExpression.CIVLCompoundLiteralObject getLiteralObject()

Returns:

the CompoundLiteralExpression.CIVLCompoundLiteralObject of this expression; or null if this expression has a constant value

createScalarLiteralObject

CompoundLiteralExpression.CIVLLiteralObject createScalarLiteralObject(CIVLType type,
 Expression expr)

createCompoundLiteralObject

CompoundLiteralExpression.CIVLCompoundLiteralObject createCompoundLiteralObject(CIVLType type,
 List<CompoundLiteralExpression.CIVLLiteralObject> elements)