Class MyAwfulTests2

java.lang.Object

fr.inria.rules.integraal.api.external.ExternalAPI

fr.inria.rules.integraal.api.external.MyAwfulTests2

public class MyAwfulTests2
extends ExternalAPI

Additional ad hoc manual tests for the external API.

Field Summary

Fields inherited from class ExternalAPI

DEFAULT_ENV

Constructor Summary

Constructors

Constructor	Description
MyAwfulTests2()	Creates the manual test harness.

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)	Runs the manual test sequence.

Methods inherited from class ExternalAPI

addFactBase, addQuery, addRule, addToFactBase, addToFactBase, compiledRewrite, copyFactBase, copyFactBaseCollection, copyQuery, copyQueryCollection, copyRule, copyRuleBase, createAll, createAllFromFile, createAllOld, createAnalyser, createCompilation, createEnvironment, createFactBase, createFactBaseCollection, createFactBaseFromMerge, createFactBaseOld, createQuery, createQueryCollection, createQueryCollectionOld, createQueryOld, createRule, createRuleBase, createRuleBaseOld, createRuleOld, defaultChase, deleteEnvironment, deleteFactBase, deleteFactBaseCollection, deleteQuery, deleteQueryCollection, deleteRule, deleteRuleBase, evaluate, evaluate, existFactBase, existFactBaseCollection, existInFactBaseCollection, existInQueryCollection, existInRuleBase, existQuery, existQueryCollection, existRule, existRuleBase, exploreAllEnvironments, exploreAllFactBaseCollections, exploreAllFactBases, exploreAllQueries, exploreAllQueryCollections, exploreAllRuleBases, exploreAllRules, exploreFactBaseCollection, exploreQueryCollection, exploreQueryCollectionOld, exploreRuleBase, exportFactBase, exportFactBaseCollection, exportFactBaseOld, exportQuery, exportQueryCollection, exportQueryCollectionOld, exportQueryOld, exportRule, exportRuleBase, exportRuleBaseOld, exportRuleOld, extendQueryOld, isEmptyFactBase, isEmptyFactBaseCollection, isEmptyQueryCollection, isEmptyRuleBase, mergeFactBaseCollection, mergeQueryCollection, mergeRuleBase, nextAnswer, removeFactBase, removeFromFactBase, removeQuery, removeRuleBase, rewrite, rewrite

Methods inherited from class Object

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

Constructor Details

MyAwfulTests2

public MyAwfulTests2()

Creates the manual test harness.

Method Details

main

public static void main(String[] args)

Runs the manual test sequence.

Parameters:

args - command-line arguments