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 LJError

Throws:

LJError

getGhostDeclaration

public static GhostDTO getGhostDeclaration(String s)
                                    throws LJError

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

Parameters:

s -

Throws:

LJError

getAliasDeclaration

public static AliasDTO getAliasDeclaration(String s)
                                    throws LJError

Throws:

LJError