cgp.translators
Class NumericQuantifier

java.lang.Object
  |
  +--cgp.translators.NumericQuantifier

public class NumericQuantifier

extends java.lang.Object

implements notio.QuantifierMacro

A class which represents a numeric concept referent quantifier, for example: @3.

Field Summary

(package private) int

number

Constructor Summary

(package private)

NumericQuantifier(int num)

Method Summary

java.lang.Object[]	executeMacro(java.lang.Object[] args) Execute macro.
java.lang.String	getName() Get quantifier name.

Methods inherited from class java.lang.Object

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

Field Detail

number

int number

Constructor Detail

NumericQuantifier

NumericQuantifier(int num)

Method Detail

getName

public java.lang.String getName()

Get quantifier name.

Returns:

quantification number as a string

executeMacro

public java.lang.Object[] executeMacro(java.lang.Object[] args)

Execute macro.

Parameters:

macro - arguments; ignored, so e.g. pass null

Returns:

quantification number in a one element array