notio
Interface Macro
- All Known Subinterfaces:
- QuantifierMacro
- All Known Implementing Classes:
- UnimplementedMacro
- public interface Macro
Interface for Macros. This interface specifies the methods that all
macros must implement. Essentially, a macro is some unspecified
operator that can be executed. It is up to specific applications to
decide when macros should be executed, what the appropriate arguments
are, and what should be done with the results.
Method Summary |
java.lang.Object[] |
executeMacro(java.lang.Object[] args)
Executes the macro with the specified array of Objects for arguments
and returns whatever results as an array of Objects. |
java.lang.String |
getName()
Returns the name of the macro (e.g. |
getName
public java.lang.String getName()
- Returns the name of the macro (e.g. &forall)
- Returns:
- the name of the macro.
executeMacro
public java.lang.Object[] executeMacro(java.lang.Object[] args)
- Executes the macro with the specified array of Objects for arguments
and returns whatever results as an array of Objects.
- Parameters:
args
- an array of Objects that are the argument to the macro.- Returns:
- the results of executing the macro as an array of Objects.
Copyright 1998-2001 Finnegan Southey