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

Class Int64Literal

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

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

All Implemented Interfaces:

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

public class Int64Literal
extends Literal<java.lang.Long>

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

Field Summary

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

offset

Constructor Summary

Constructors

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

Int64Literal

public Int64Literal(CFG cfg,
                    CodeLocation location,
                    long 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