nl.cwi.sen1.tide.tool.support
Class VarFormat

java.lang.Object
  nl.cwi.sen1.tide.tool.support.VarFormat

All Implemented Interfaces:

ExprFormat

public class VarFormat
extends java.lang.Object
implements ExprFormat

Field Summary

private static java.lang.String	PAT_UNKNOWN_VAR
private static java.lang.String	PAT_VAR

Constructor Summary

VarFormat()

Method Summary

java.lang.String	format(Expr expr)
static aterm.ATerm	makeExprVar(aterm.ATermFactory factory, java.lang.String var, aterm.ATerm value, int pos, int line, int column, int length)
static aterm.ATerm	makeVarUnknown(aterm.ATermFactory factory, java.lang.String msg)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

PAT_VAR

private static final java.lang.String PAT_VAR

See Also:

Constant Field Values

PAT_UNKNOWN_VAR

private static final java.lang.String PAT_UNKNOWN_VAR

See Also:

Constant Field Values

Constructor Detail

VarFormat

public VarFormat()

Method Detail

format

public java.lang.String format(Expr expr)

Specified by:

format in interface ExprFormat

makeVarUnknown

public static aterm.ATerm makeVarUnknown(aterm.ATermFactory factory,
                                         java.lang.String msg)

makeExprVar

public static aterm.ATerm makeExprVar(aterm.ATermFactory factory,
                                      java.lang.String var,
                                      aterm.ATerm value,
                                      int pos,
                                      int line,
                                      int column,
                                      int length)