Quantify.Length

Object
- Quantify.Term
- - Length

Enclosing class:

Quantify
```
public static class Quantify.Length
extends Quantify.Term
```
Represents the length of a sequence and an optional offset.

Constructor Summary

Constructors
Constructor Description

Length(VarInfo sequence, int offset)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`String`	`csharp_name()`
`String`	`esc_name()`
`String`	`jml_name()`
`String`	`jml_name(boolean in_prestate)`
`String`	`name()`
`void`	`set_offset(int offset)`
`String`	`simplify_name()`
`String`	`toString()`

Methods inherited from class Quantify.Term
name_with_offset

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

Constructor Detail

Length

public Length(VarInfo sequence,
              int offset)

Method Detail

toString

@SideEffectFree
public String toString(@GuardSatisfied Quantify.Length this)

Overrides:: toString in class Object

name

@SideEffectFree
public String name(@GuardSatisfied Quantify.Length 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

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

csharp_name in class Quantify.Term

set_offset

public void set_offset(int offset)