org.extex.font.format.dvi.command
Class DviPost

java.lang.Object
  org.extex.font.format.dvi.command.DviCommand
      org.extex.font.format.dvi.command.DviPost

public class DviPost
extends DviCommand

DVI: post: Beginning of the postamble.

Version:

$Revision: 6053 $

Author:

Michael Niedermair

Field Summary

Fields inherited from class org.extex.font.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 org.extex.font.format.dvi.command.DviCommand

getFntDefs, getNextCommand, getOpcode, getPost, getPre, getStartPointer, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, 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.

getName

public java.lang.String getName()

Returns the name of the command.

Specified by:

getName in class DviCommand

Returns:

Returns the name of the command.

See Also:

DviCommand.getName()

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.