code.term
Class TermImplString

java.lang.Object
  code.term.TermImplBuiltin
      code.term.TermImplString

All Implemented Interfaces:

TermImpl

public class TermImplString
extends TermImplBuiltin

Term representations for strings.

Since:

Jan 16, 2004

Author:

Jimeng Liu

Field Summary

java.lang.String

value

Constructor Summary

TermImplString(java.lang.String value)

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

value

public final java.lang.String value

Constructor Detail

TermImplString

public TermImplString(java.lang.String value)

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