code.term
Class TermImplInt

java.lang.Object
  code.term.TermImplBuiltin
      code.term.TermImplInt

All Implemented Interfaces:

TermImpl

public class TermImplInt
extends TermImplBuiltin

Term representation for ints.

Since:

June 17, 2003

Author:

Sergio Antoy

Field Summary

int

value

Constructor Summary

TermImplInt(int 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 int value

Constructor Detail

TermImplInt

public TermImplInt(int 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