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)