org.eth.cyril.model.model.nodes

Interface Variable

All Superinterfaces:

JsonSerializable, Resolver

All Known Implementing Classes:

VariableImpl

public interface Variable
extends JsonSerializable, Resolver

A Variable object represents a variable as given in Java code. Debugging during a method, such a variable is either a local variable, a method parameter or, if it is a non-static method, the "this" object.

Method Summary

Modifier and Type	Method and Description
java.util.Optional<java.lang.String>	containingMethodName() Returns the name of the method within which this variable is contained, i.e.
java.lang.String	name() Returns the name of the Variable as declared in the Java code.
void	setContainingMethodName(java.lang.String name) Set the method name within which the variable is contained.
void	setValue(Value value) Sets the value to which the variable points.
java.lang.String	typeName() Returns the declared type of the variable in code.
Value	value() Returns the value to which the variable points.

Methods inherited from interface org.eth.cyril.util.serialization.JsonSerializable

fromJson, toJson

Methods inherited from interface org.eth.cyril.model.constraintlanguage.Resolver

canResolve, getResolvableNames, resolve

Method Detail

name

java.lang.String name()

Returns the name of the Variable as declared in the Java code.

typeName

java.lang.String typeName()

Returns the declared type of the variable in code.

value

Value value()

Returns the value to which the variable points. Note that while each variable will point to exactly one value, multiple variables may point to the same value.

setValue

void setValue(Value value)

Sets the value to which the variable points.

Parameters:

value - The value to which the variable points.

containingMethodName

java.util.Optional<java.lang.String> containingMethodName()

Returns the name of the method within which this variable is contained, i.e. the currently debugged method. If this method name has not been set yet with setContainingMethodName(String), an empty Optional is returned.

setContainingMethodName

void setContainingMethodName(java.lang.String name)

Set the method name within which the variable is contained. May be set to null.

Parameters:

name - The method name within which the variable is contained, or null.