public class MIFFile extends MIFElement
| Modifier and Type | Field and Description |
|---|---|
protected MIFElement |
colorCatalog
colorCatalog
|
protected java.util.List |
pages
pages
|
protected PGFElement |
pgfCatalog
pgfCatalog
|
protected RulingElement |
rulingCatalog
rulingCatalog
|
finish, finished, name, started, valueElements, valueStr| Constructor and Description |
|---|
MIFFile()
default constructor
|
| Modifier and Type | Method and Description |
|---|---|
void |
addPage(MIFElement p) |
void |
output(java.io.OutputStream os) |
protected void |
setup()
Do some setup.
|
addElement, finish, output, setValueprotected MIFElement colorCatalog
protected PGFElement pgfCatalog
protected RulingElement rulingCatalog
protected java.util.List pages
protected void setup()
public void output(java.io.OutputStream os)
throws java.io.IOException
os - output streamjava.io.IOException - if not caughtpublic void addPage(MIFElement p)
p - a page element to addCopyright © 2025 Apache Software Foundation. All rights reserved.