Package it.unive.lisa.program.cfg.statement.literal

Class Int32Literal

java.lang.Object

it.unive.lisa.program.cfg.statement.Statement

it.unive.lisa.program.cfg.statement.Expression

it.unive.lisa.program.cfg.statement.literal.Literal<java.lang.Integer>

it.unive.lisa.program.cfg.statement.literal.Int32Literal

All Implemented Interfaces:

ProgramPoint, CodeElement, CodeNode<CFG,Statement,Edge>, Node<CFG,Statement,Edge>, java.lang.Comparable<Statement>

public class Int32Literal
extends Literal<java.lang.Integer>

A 32-bit signed Literal representing a constant integral value. Instances of this literal have a Int32Type static type. Internally, the constant is stored in a int.

Field Summary

Fields inherited from class it.unive.lisa.program.cfg.statement.Statement

offset

Constructor Summary

Constructors

Constructor	Description
Int32Literal(CFG cfg, CodeLocation location, int value)	Builds the literal.

Method Summary

Methods inherited from class it.unive.lisa.program.cfg.statement.literal.Literal

accept, equals, getValue, hashCode, semantics, setOffset, toString

Methods inherited from class it.unive.lisa.program.cfg.statement.Expression

getMetaVariables, getParentStatement, getRootStatement, getStatementEvaluatedBefore, getStaticType, setParentStatement

Methods inherited from class it.unive.lisa.program.cfg.statement.Statement

compareTo, getCFG, getEvaluationPredecessor, getLocation, getOffset, stopsExecution, throwsError

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface it.unive.lisa.program.cfg.ProgramPoint

getProgram

Constructor Detail

Int32Literal

public Int32Literal(CFG cfg,
                    CodeLocation location,
                    int value)

Builds the literal.

Parameters:

cfg - the CFG where this literal lies

location - the location where this literal is defined

value - the constant value represented by this literal