felix.test
Class StaticAnalyzerTest

java.lang.Object
  felix.main.Felix
      felix.test.StaticAnalyzerTest

public class StaticAnalyzerTest
extends Felix

Test the compiler.

Author:

Ce Zhang

Field Summary

Fields inherited from class felix.main.Felix

db, fq, hasLoadedEvidence, options

Constructor Summary

StaticAnalyzerTest()

Method Summary

void	naiveRun() Run Felix on a very simple program.
void	test_parseChainRecursiveRelation()
void	test_parseEmbededWeightRule()
void	test_parseKeyConstraintRelation() Test the parser for CRF operator.
void	test_parseNonRecursiveRelation()
void	test_parseOtherRecursiveRelation()
void	test_parseReflexiveRelation()
void	test_parseSpecialPredicate()
void	test_parseSymmetricRelation()
void	test_parseTransitiveRelation()
void	testParse() Test whether the parser and og graph can deal with dependency correctly.

Methods inherited from class felix.main.Felix

blahblahExecutor, generateFESignature, getAllTextArray, getFelixQuery, giveMeTableNameIfExist, loadEvidence, normalizeScript, parseFelixQuery, resetACoupleAuxDataStructures, run

Methods inherited from class java.lang.Object

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

Constructor Detail

StaticAnalyzerTest

public StaticAnalyzerTest()

Method Detail

test_parseKeyConstraintRelation

public final void test_parseKeyConstraintRelation()

Test the parser for CRF operator.

test_parseChainRecursiveRelation

public final void test_parseChainRecursiveRelation()

test_parseEmbededWeightRule

public final void test_parseEmbededWeightRule()

test_parseNonRecursiveRelation

public final void test_parseNonRecursiveRelation()

test_parseOtherRecursiveRelation

public final void test_parseOtherRecursiveRelation()

test_parseReflexiveRelation

public final void test_parseReflexiveRelation()

test_parseSymmetricRelation

public final void test_parseSymmetricRelation()

test_parseTransitiveRelation

public final void test_parseTransitiveRelation()

test_parseSpecialPredicate

public final void test_parseSpecialPredicate()

naiveRun

public final void naiveRun()

Run Felix on a very simple program.

testParse

public final void testParse()

Test whether the parser and og graph can deal with dependency correctly.