com.articulate.sigma.semRewrite

Class RewriteRuleUtil

java.lang.Object

com.articulate.sigma.semRewrite.RuleSet

com.articulate.sigma.semRewrite.RewriteRuleUtil

public final class RewriteRuleUtil
extends RuleSet

A class for intergration of RewriteRule check tools To use: run in bash and follow the instruction

Field Summary

Fields inherited from class com.articulate.sigma.semRewrite.RuleSet

filename, rules, warningSet

Method Summary

Modifier and Type	Method and Description
static RuleSet	loadRuleSet() load RuleSet from "SemRewrite.txt"
static void	main(String[] args)

Methods inherited from class com.articulate.sigma.semRewrite.RuleSet

parse, readFile, testReadRuleSet, testRuleAndClausify, toString

Methods inherited from class java.lang.Object

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

Method Detail

loadRuleSet

public static RuleSet loadRuleSet()

load RuleSet from "SemRewrite.txt"

main

public static void main(String[] args)