de.dante.extex.format.dvi.command
Class DviPost

java.lang.Object
  extended byde.dante.extex.format.dvi.command.DviCommand
      extended byde.dante.extex.format.dvi.command.DviPost

public class DviPost
extends DviCommand

DVI: post

Version:
$Revision: 1.1 $
Author:
Michael Niedermair

Field Summary
 
Fields inherited from class de.dante.extex.format.dvi.command.DviCommand
BOP_LENGTH
 
Constructor Summary
DviPost(int oc, int sp, int p, int anum, int aden, int amag, int l, int u, int s, int t)
          Create a new object.
 
Method Summary
 int getDen()
          Returns the den.
 int getHeigthdepth()
          Returns the heigthdepth.
 int getMag()
          Returns the mag.
 java.lang.String getName()
          Returns the name of the command.
 int getNum()
          Returns the num.
 int getPointer()
          Returns the pointer.
 int getStackdepth()
          Returns the stackdepth.
 int getTotalpage()
          Returns the totalpage.
 int getWidth()
          Returns the width.
 
Methods inherited from class de.dante.extex.format.dvi.command.DviCommand
getFntDefs, getNextCommand, getOpcode, getPost, getPre, getStartPointer
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DviPost

public DviPost(int oc,
               int sp,
               int p,
               int anum,
               int aden,
               int amag,
               int l,
               int u,
               int s,
               int t)
Create a new object.

Parameters:
oc - the opcode
sp - the start pointer
p - the pointer
anum - the num
aden - the den
amag - the mag
l - the height+depth
u - the width
s - the stack depth
t - the total pages
Method Detail

getDen

public int getDen()
Returns the den.

Returns:
Returns the den.

getHeigthdepth

public int getHeigthdepth()
Returns the heigthdepth.

Returns:
Returns the heigthdepth.

getMag

public int getMag()
Returns the mag.

Returns:
Returns the mag.

getNum

public int getNum()
Returns the num.

Returns:
Returns the num.

getPointer

public int getPointer()
Returns the pointer.

Returns:
Returns the pointer.

getStackdepth

public int getStackdepth()
Returns the stackdepth.

Returns:
Returns the stackdepth.

getTotalpage

public int getTotalpage()
Returns the totalpage.

Returns:
Returns the totalpage.

getWidth

public int getWidth()
Returns the width.

Returns:
Returns the width.

getName

public java.lang.String getName()
Description copied from class: DviCommand
Returns the name of the command.

Specified by:
getName in class DviCommand
Returns:
Returns the name of the command.
See Also:
DviCommand.getName()