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

Class Int16Literal

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.Short>

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

All Implemented Interfaces:

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

public class Int16Literal
extends Literal<java.lang.Short>

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

Field Summary

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

offset

Constructor Summary

Constructors

Constructor	Description
Int16Literal(CFG cfg, CodeLocation location, short 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

Int16Literal

public Int16Literal(CFG cfg,
                    CodeLocation location,
                    short 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