public class Dummy
extends java.lang.Object
Constructor and Description |
---|
Dummy(Atom a)
Creates a new Dummy for the given atom.
|
Modifier and Type | Method and 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)