org.symcomp.openmath.popcorn.symbols
Class Prog1

java.lang.Object
  extended by org.symcomp.openmath.SymbolRenderer
      extended by org.symcomp.openmath.popcorn.symbols.Prog1

public class Prog1
extends SymbolRenderer


Field Summary
 
Fields inherited from class org.symcomp.openmath.SymbolRenderer
out, renderer
 
Constructor Summary
Prog1(AbstractRenderer renderer)
           
 
Method Summary
 void assign(OpenMathBase[] params, int prec)
           
 void block()
           
 void block(OpenMathBase[] params, int prec)
           
 int prec_assign()
           
 int prec_block()
           
 
Methods inherited from class org.symcomp.openmath.SymbolRenderer
render, renderBinary, renderNAry, renderNAry, renderNonAssocBinary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Prog1

public Prog1(AbstractRenderer renderer)
Method Detail

prec_block

public int prec_block()

block

public void block()
           throws java.io.IOException
Throws:
java.io.IOException

block

public void block(OpenMathBase[] params,
                  int prec)
           throws java.lang.Exception
Throws:
java.lang.Exception

prec_assign

public int prec_assign()

assign

public void assign(OpenMathBase[] params,
                   int prec)
            throws java.io.IOException
Throws:
java.io.IOException


Copyright © 2010. All Rights Reserved.