net.sf.bddbddb
Class CodeFragment

java.lang.Object
  net.sf.bddbddb.CodeFragment

public class CodeFragment
extends java.lang.Object

CodeFragment

Version:

$Id: CodeFragment.java 605 2005-07-12 01:40:35Z cunkel $

Author:

jwhaley

Constructor Summary

CodeFragment(java.lang.String string, InferenceRule ir)

CodeFragment(java.lang.String string, Relation r)

Method Summary

static java.lang.String	findJavac() Try to find where javac executable is installed.
static java.io.File	findWritablePath() Find a place for a temp file in classpath.
void	invoke(InferenceRule rule, net.sf.javabdd.BDD oldValue)
void	invoke(Relation r, net.sf.javabdd.BDD oldValue)

Methods inherited from class java.lang.Object

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

Constructor Detail

CodeFragment

public CodeFragment(java.lang.String string,
                    InferenceRule ir)

CodeFragment

public CodeFragment(java.lang.String string,
                    Relation r)

Method Detail

findWritablePath

public static java.io.File findWritablePath()

Find a place for a temp file in classpath.

Returns:

path in classpath that is writable, or null.

findJavac

public static java.lang.String findJavac()

Try to find where javac executable is installed.

Returns:

path to javac, or null.

invoke

public void invoke(InferenceRule rule,
                   net.sf.javabdd.BDD oldValue)

Parameters:

rule -

oldValue -

invoke

public void invoke(Relation r,
                   net.sf.javabdd.BDD oldValue)

Parameters:

r -

oldValue -