Quantify.VarPlusOffset

Object
- Quantify.Term
- - VarPlusOffset

Enclosing class:

Quantify
```
public static class Quantify.VarPlusOffset
extends Quantify.Term
```
Represents a Daikon variable with an optional integer offset. Usually used for the bounds of a slice.

Constructor Summary

Constructors
Constructor Description

VarPlusOffset(VarInfo var)

VarPlusOffset(VarInfo var, int offset)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`String`	`esc_name()`
`String`	`jml_name()`
`String`	`jml_name(boolean in_prestate)`
`String`	`name()`
`String`	`simplify_name()`

Methods inherited from class Quantify.Term
csharp_name, name_with_offset

Methods inherited from class Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

VarPlusOffset
```
public VarPlusOffset(VarInfo var)
```

VarPlusOffset

public VarPlusOffset(VarInfo var,
                     int offset)

Method Detail

name

@SideEffectFree
public String name(@GuardSatisfied Quantify.VarPlusOffset this)

Specified by:: name in class Quantify.Term

esc_name
```
@SideEffectFree
public String esc_name()
```
Overrides:

esc_name in class Quantify.Term

jml_name
```
@SideEffectFree
public String jml_name()
```
Overrides:

jml_name in class Quantify.Term

jml_name

@SideEffectFree
public String jml_name(boolean in_prestate)

Overrides:: jml_name in class Quantify.Term

simplify_name
```
@SideEffectFree
public String simplify_name()
```
Overrides:

simplify_name in class Quantify.Term