Substitute.SetRef (ESCTools)

Class

Use

Tree

Index

Help

ESC/Java2
© 2003,2004,2005,2006 David Cok and Joseph Kiniry
© 2005,2006 UCD Dublin
© 2003,2004 Radboud University Nijmegen
© 1999,2000 Compaq Computer Corporation
© 1997,1998,1999 Digital Equipment Corporation
All Rights Reserved

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

escjava.translate
Class Substitute.SetRef

java.lang.Object
  escjava.translate.Substitute.SetRef

Enclosing class:: Substitute

private static class Substitute.SetRef
extends java.lang.Object

Field Summary
`(package private) Set`	`s`

Constructor Summary
`private`	`Substitute.SetRef()`

Methods inherited from class java.lang.Object

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

Field Detail

s

Set s

Constructor Detail

Substitute.SetRef

private Substitute.SetRef()

Overview

Package