public interface MacroDeclarations
hasMacro(String)
== true ->
getMacro(String)
!= null
hasMacro(String)
should be pure i.e. have no side effects.
Whereas getMacro(String)
may have side effects.
(This is useful for creating macros on the fly in getMacro(String)
)Modifier and Type | Method and Description |
---|---|
Macro |
getMacro(String name)
Tries to fetch the macro
|
boolean |
hasMacro(String name)
Whether the macro is declared
|
boolean hasMacro(String name)
name
- name of the macro being queriedMacro getMacro(String name)
hasMacro(String)
name
- Copyright © 2020 University of Waikato, Hamilton, NZ. All rights reserved.