cgp.translators
Class DefinedQuantifier

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

public class DefinedQuantifier
extends java.lang.Object
implements notio.QuantifierMacro

A class which represents a named concept referent quantifier with an optional collection. Examples are: @every, @Col{"red", "green", "blue"}.


Field Summary
(package private)  java.lang.Object[] collection
           
(package private)  java.lang.String name
           
 
Constructor Summary
(package private) DefinedQuantifier(java.lang.String name)
           
(package private) DefinedQuantifier(java.lang.String name, java.lang.Object[] collection)
           
 
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

name

java.lang.String name

collection

java.lang.Object[] collection
Constructor Detail

DefinedQuantifier

DefinedQuantifier(java.lang.String name)

DefinedQuantifier

DefinedQuantifier(java.lang.String name,
                  java.lang.Object[] collection)
Method Detail

getName

public java.lang.String getName()
Get quantifier name.
Returns:
quantifier name 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:
collection; may be null