public class Dummy
extends java.lang.Object
| Constructor | Description |
|---|---|
Dummy(Atom a) |
Creates a new Dummy for the given atom.
|
| Modifier and Type | Method | Description |
|---|---|---|
void |
changeAtom(FixedCharAtom a) |
Changes this atom into the given "ligature atom".
|
Box |
createBox(TeXEnvironment rs) |
|
CharFont |
getCharFont(TeXFont tf) |
This method will only be called if isCharSymbol returns true.
|
int |
getLeftType() |
|
int |
getRightType() |
|
int |
getType() |
Changes the type of the atom
|
boolean |
isCharSymbol() |
|
boolean |
isKern() |
|
void |
markAsTextSymbol() |
|
void |
setPreviousAtom(Dummy prev) |
|
void |
setType(int t) |
Changes the type of the atom
|
public Dummy(Atom a)
a - an atompublic void setType(int t)
t - the new typepublic int getType()
t - the new typepublic int getLeftType()
public int getRightType()
public boolean isCharSymbol()
public CharFont getCharFont(TeXFont tf)
public void changeAtom(FixedCharAtom a)
a - the ligature atompublic Box createBox(TeXEnvironment rs)
public void markAsTextSymbol()
public boolean isKern()
public void setPreviousAtom(Dummy prev)