gf-3.5: src/runtime/java/org/grammaticalframework/pgf/PGF.java

package org.grammaticalframework.pgf;

import java.io.*;
import java.util.*;

public class PGF {
	public static native PGF readPGF(String path) throws FileNotFoundException; 

	public native String getAbstractName();

	public native Map<String,Concr> getLanguages();

	public native List<String> getCategories();
	
	public native String getStartCat();
	
	public native List<String> getFunctions();
	
	public native List<String> getFunctionsByCat(String cat);
	
	public native Type getFunctionType(String fun);

	public native Iterator<ExprProb> generate(Type type);

	public native Expr compute(Expr expr);

	//////////////////////////////////////////////////////////////////
	// private stuff
	
	private static native void free(long pool);

	private long pool;
	private long gr;

	private PGF(long pool, long gr) {
		this.pool = pool;
		this.gr   = gr;
	}

	protected void finalize () throws Throwable {
		if (pool != 0) {
			free(pool);
			pool = 0;
			gr = 0;
		}
	}
	
	static { 
         System.loadLibrary("jpgf");
    }
}