jif
Class ExtensionInfo.JifJobExt

java.lang.Object
  jif.ExtensionInfo.JifJobExt

All Implemented Interfaces:

polyglot.frontend.JobExt

Enclosing class:

ExtensionInfo

public static class ExtensionInfo.JifJobExt
extends java.lang.Object
implements polyglot.frontend.JobExt

Constructor Summary

ExtensionInfo.JifJobExt(JifTypeSystem ts)

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

ExtensionInfo.JifJobExt

public ExtensionInfo.JifJobExt(JifTypeSystem ts)