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