code.term
Class TermImplOpaque

java.lang.Object
  code.term.TermImplBuiltin
      code.term.TermImplOpaque

All Implemented Interfaces:

TermImpl

public class TermImplOpaque
extends TermImplBuiltin

Term representation for opaque type. An opaque type is a hack for handling as a term any object.

Since:

April 19, 2005

Author:

Sergio Antoy

Field Summary

java.lang.Object

opaque

Constructor Summary

TermImplOpaque(java.lang.Object opaque)

Method Summary

<R,T> R

accept(code.term.visitor.TermVisitor<R,T> v, T o) This method accepts the visitor.

Methods inherited from class code.term.TermImplBuiltin

getArgument, getArgument, getCode, getKind, getRoot, getRootSymbol, isHNF, isNF

Methods inherited from class java.lang.Object

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

Field Detail

opaque

public final java.lang.Object opaque

Constructor Detail

TermImplOpaque

public TermImplOpaque(java.lang.Object opaque)

Method Detail

accept

public <R,T> R accept(code.term.visitor.TermVisitor<R,T> v,
                      T o)

Description copied from interface: TermImpl

This method accepts the visitor. The code for this method should be return v.accept(this,o);

Returns:

Object