code.term
Class TermImplChar

java.lang.Object
  code.term.TermImplBuiltin
      code.term.TermImplChar

All Implemented Interfaces:

TermImpl

public class TermImplChar
extends TermImplBuiltin

Term implementation for characters.

Since:

June 17, 2003

Author:

Sergio Antoy

Field Summary

char

value

Constructor Summary

TermImplChar(char 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 char value

Constructor Detail

TermImplChar

public TermImplChar(char 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