jade.content.abs

Class AbsHelper.VarIndexWrapper

java.lang.Object

jade.content.abs.AbsHelper.VarIndexWrapper

Enclosing class:

AbsHelper

static class AbsHelper.VarIndexWrapper
extends Object

Inner class used to manage variable name generation

Field Summary

Fields

Modifier and Type	Field and Description
(package private) int	index
(package private) static AbsHelper.VarIndexWrapper	ZERO

Constructor Summary

Constructors

Constructor and Description
VarIndexWrapper(int index)

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

ZERO

static AbsHelper.VarIndexWrapper ZERO

index

int index

Constructor Detail

VarIndexWrapper

public VarIndexWrapper(int index)