public class JMLCProxy extends Object
Constructor and Description |
---|
JMLCProxy() |
Modifier and Type | Method and Description |
---|---|
static boolean |
isActive() |
static ArrayList<Instruction> |
performCleanupAfterRecompilation(ArrayList<Instruction> tmp) |
static void |
setActive(String[] output) |
public static void setActive(String[] output)
public static boolean isActive()
public static ArrayList<Instruction> performCleanupAfterRecompilation(ArrayList<Instruction> tmp)
Copyright © 2017 The Apache Software Foundation. All rights reserved.