Class RefinementsParser

java.lang.Object

liquidjava.rj_language.parsing.RefinementsParser

public class RefinementsParser
extends Object

Constructor Summary

Constructors

Constructor	Description
RefinementsParser()

Method Summary

Modifier and Type	Method	Description
static Expression	createAST(String toParse, String prefix)
static AliasDTO	getAliasDeclaration(String s)
static GhostDTO	getGhostDeclaration(String s)	The triple information of the ghost declaration in the order invalid input: '<'type, name, listinvalid input: '<'type,name>>

Methods inherited from class java.lang.Object

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

Constructor Details

RefinementsParser

public RefinementsParser()

Method Details

createAST

public static Expression createAST(String toParse,
 String prefix)
                            throws ParsingException

Throws:

ParsingException

getGhostDeclaration

public static GhostDTO getGhostDeclaration(String s)
                                    throws ParsingException

The triple information of the ghost declaration in the order invalid input: '<'type, name, listinvalid input: '<'type,name>>

Parameters:

s -

Returns:

Throws:

ParsingException

getAliasDeclaration

public static AliasDTO getAliasDeclaration(String s)
                                    throws ParsingException

Throws:

ParsingException