|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface Code
This is the interface for all expandable or executable classes.
Each primitive has a name which is used for debugging purposes. Since an arbitrary sequence of \let and \def operations might have taken place it is in general not possible to determine the current name under which the primitive has been called. Thus an initial value is stored in it for this purpose.
| Method Summary | |
|---|---|
void |
execute(Flags prefix,
Context context,
TokenSource source,
Typesetter typesetter)
This method takes the first token and executes it. |
java.lang.String |
getName()
Deprecated. access the token instead |
CodeToken |
getToken()
Getter for the token. |
boolean |
isIf()
This simple little method distinguishes the conditionals from the other primitives. |
boolean |
isOuter()
Getter for the outer flag. |
| Method Detail |
|---|
boolean isIf()
true iff this is some sort if \if.boolean isOuter()
true iff the code is defined outer.java.lang.String getName()
CodeToken getToken()
void execute(Flags prefix,
Context context,
TokenSource source,
Typesetter typesetter)
throws HelpingException,
TypesetterException
prefix - the prefix controlling the executioncontext - the interpreter contextsource - the token sourcetypesetter - the typesetter
HelpingException - in case of an error
TypesetterException - in case of an error in the typesetter
ConfigurationException - in case of an configuration error
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||