Package org.openprovenance.prov.notation

Class TreeTraversal

java.lang.Object

org.openprovenance.prov.notation.TreeTraversal

public class TreeTraversal
extends Object

Constructor Summary

Constructors

Constructor	Description
TreeTraversal(ModelConstructor c, ProvFactory pFactory)

Method Summary

Modifier and Type	Method	Description
Object	convert(org.antlr.runtime.tree.Tree ast)
int	convertInt(String token)
String	convertToken(String token)
Object	convertTypedLiteral(String literal, QualifiedName datatype)
Object	convertTypedLiteral(LangString literal, QualifiedName datatype)
String	getTokenString(org.antlr.runtime.tree.Tree t)
Object	newExtension(Object extName, QualifiedName uid, List<Object> args, Object optionalAttributes)
String	stripAmpersand(String token)
String	unquoteTrice(String token)
String	unquoteTwice(String token)
String	unwrap(String s)

Methods inherited from class java.lang.Object

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

Constructor Detail

TreeTraversal

public TreeTraversal(ModelConstructor c,
                     ProvFactory pFactory)

Method Detail

getTokenString

public String getTokenString(org.antlr.runtime.tree.Tree t)

convertToken

public String convertToken(String token)

convertInt

public int convertInt(String token)

stripAmpersand

public String stripAmpersand(String token)

unquoteTwice

public String unquoteTwice(String token)

unquoteTrice

public String unquoteTrice(String token)

convert

public Object convert(org.antlr.runtime.tree.Tree ast)

newExtension

public Object newExtension(Object extName,
                           QualifiedName uid,
                           List<Object> args,
                           Object optionalAttributes)

convertTypedLiteral

public Object convertTypedLiteral(String literal,
                                  QualifiedName datatype)

convertTypedLiteral

public Object convertTypedLiteral(LangString literal,
                                  QualifiedName datatype)

unwrap

public String unwrap(String s)