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