public class CatcodeTable
extends java.lang.Object
Constructor and Description |
---|
CatcodeTable()
Construct a new
CatcodeTable , defining catcodes
as by INITeX plus the additional catcodes defined by plain TeX |
Modifier and Type | Method and 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