Package daikon

Class Quantify.Term

Object

Term

Direct Known Subclasses:

Quantify.Constant, Quantify.FreeVar, Quantify.Length, Quantify.VarPlusOffset

Enclosing class:

Quantify

public abstract static class Quantify.Term
extends Object

Class the represents terms that can be used in variable expressions. These include constants (such as 0 and 1), free variables used for quantification (i, j, etc), and normal Daikon variables.

Constructor Summary

Constructors

Constructor	Description
Term()

Method Summary

Modifier and Type	Method	Description
String	csharp_name()
String	esc_name()
String	jml_name()
String	jml_name(boolean in_prestate)
abstract String	name()
protected static String	name_with_offset(String name, int offset)
String	simplify_name()

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Term

public Term()

Method Detail

name

@SideEffectFree
public abstract String name(@GuardSatisfied Quantify.Term this)

esc_name

@SideEffectFree
public String esc_name()

jml_name

@SideEffectFree
public String jml_name()

jml_name

@SideEffectFree
public String jml_name(boolean in_prestate)

simplify_name

@SideEffectFree
public String simplify_name()

csharp_name

@SideEffectFree
public String csharp_name()

name_with_offset

@SideEffectFree
protected static String name_with_offset(String name,
                                         int offset)