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.
 

Method Detail

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