com.articulate.sigma.semRewrite

Class LHS

java.lang.Object

com.articulate.sigma.semRewrite.LHS

public class LHS
extends Object

LHS ::= ClausePattern Match & delete atomic clause +ClausePattern Match & preserve atomic clause LHS, LHS Boolean conjunction (LHS | LHS) Boolean disjunction —LHS Boolean negation {ProcedureCall} Procedural attachment

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	LHS.LHSop

Field Summary

Fields

Modifier and Type	Field and Description
Literal	clause
LHS	lhs1
LHS	lhs2
Method	method
LHS.LHSop	operator

Constructor Summary

Constructors

Constructor and Description
LHS()

Method Summary

Modifier and Type	Method and Description
LHS	deepCopy()
static void	main(String[] args) A test method
static LHS	parse(Lexer lex, int startLine)
static void	testParse() A test method
static void	testParseProc() A test method
static void	testParseProc2() A test method
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

clause

public Literal clause

lhs1

public LHS lhs1

lhs2

public LHS lhs2

operator

public LHS.LHSop operator

method

public Method method

Constructor Detail

LHS

public LHS()

Method Detail

toString

public String toString()

Overrides:

toString in class Object

deepCopy

public LHS deepCopy()

parse

public static LHS parse(Lexer lex,
                        int startLine)

Parameters:

lex - is a Lexer which has been initialized with the textual version of the LHS

startLine - is the line in the text file at which the LHS appears. If it is in a large rule the start line could be different than the actual line of text for the LHS. If the LHS is just from a string rather than directly from a text file then the startLine will be 0.

Returns:

a LHS corresponding to the input text passed to the Lexer.

testParse

public static void testParse()

A test method

testParseProc

public static void testParseProc()

A test method

testParseProc2

public static void testParseProc2()

A test method

main

public static void main(String[] args)

A test method