public class InstantiationFileHandler
extends java.lang.Object
Constructor and Description |
---|
InstantiationFileHandler() |
Modifier and Type | Method and Description |
---|---|
static java.util.List<java.util.List<java.lang.String>> |
getInstantiationListsFor(Taclet taclet) |
static boolean |
hasInstantiationListsFor(Taclet taclet) |
static void |
saveListFor(TacletInstantiationModel model) |
public static boolean hasInstantiationListsFor(Taclet taclet)
public static java.util.List<java.util.List<java.lang.String>> getInstantiationListsFor(Taclet taclet)
public static void saveListFor(TacletInstantiationModel model)
Copyright © 2003-2019 The KeY-Project.