JavaToPhantom

JVM class to Phantom class convertor

See PhantomLanguageCompiler

Java to Phantom convertor is based on Soot framework. Basic idea is to load/decompose .class file with Soot, and convert resulting operations tree to corresponging Phantom compiler tree. After that Phantom compiler backend is used to generate Phantom class files.

Directories

See tools/plc.