org.jpc.term.refterm

Class RefTermType

java.lang.Object

org.jpc.term.refterm.RefTermType

public class RefTermType
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	RefTermType.Opacity

Constructor Summary

Constructors

Constructor and Description
RefTermType(org.minitoolbox.gc.ReferenceType javaReferenceType, RefTermType.Opacity opacity)

Method Summary

Modifier and Type	Method and Description
Term	toTerm(Object ref, Jpc jpc)

Methods inherited from class java.lang.Object

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

Constructor Detail

RefTermType

public RefTermType(org.minitoolbox.gc.ReferenceType javaReferenceType,
                   RefTermType.Opacity opacity)

Method Detail

toTerm

public Term toTerm(Object ref,
                   Jpc jpc)