Package pascal.taie.ir.exp

Class DoubleLiteral

java.lang.Object

pascal.taie.ir.exp.DoubleLiteral

All Implemented Interfaces:

Serializable, Exp, FloatingPointLiteral, Literal, NumberLiteral, RValue

public class DoubleLiteral
extends Object
implements FloatingPointLiteral

See Also:

• Serialized Form

Method Summary

Modifier and Type	Method	Description
<T> T	accept(ExpVisitor<T> visitor)
boolean	equals(Object o)
static DoubleLiteral	get(double value)
Double	getNumber()
PrimitiveType	getType()
double	getValue()
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface pascal.taie.ir.exp.Exp

getUses

Method Details

get

public static DoubleLiteral get(double value)

getType

public PrimitiveType getType()

Specified by:

getType in interface Exp

Returns:

type of this expression.

getValue

public double getValue()

getNumber

public Double getNumber()

Specified by:

getNumber in interface NumberLiteral

accept

public <T> T accept(ExpVisitor<T> visitor)

Specified by:

accept in interface Exp

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object