public class CatcodeTable
extends java.lang.Object
| Constructor | Description |
|---|---|
CatcodeTable() |
Construct a new
CatcodeTable, defining catcodes
as by INITeX plus the additional catcodes defined by plain TeX |
| Modifier and Type | Method | Description |
|---|---|---|
Catcode |
get(char c) |
Get the catcode of a character.
|
void |
set(char c,
Catcode cc) |
Set the catcode of a character.
|
public CatcodeTable()
CatcodeTable, defining catcodes
as by INITeX plus the additional catcodes defined by plain TeXpublic void set(char c,
Catcode cc)
c - the charactercc - the desired catcodepublic Catcode get(char c)
c - the character