InstantiationFileHandler (KeY API Documentation)

public class InstantiationFileHandler
extends Object

Fields
Modifier and Type	Field and Description
`private static HashMap<String,List<List<String>>>`	`hm`
`private static String`	`INSTANTIATION_DIR`
`private static String`	`LINE_END`
`private static int`	`SAVE_COUNT`
`private static String`	`SEPARATOR1`
`private static String`	`SEPARATOR2`

Constructors
Constructor and Description
`InstantiationFileHandler()`

All Methods Static Methods Concrete Methods
Modifier and Type	Method and Description
`private static void`	`createHashMap()`
`private static void`	`createListFor(Taclet taclet)`
`static List<List<String>>`	`getInstantiationListsFor(Taclet taclet)`
`static boolean`	`hasInstantiationListsFor(Taclet taclet)`
`static void`	`saveListFor(TacletInstantiationModel model)`

private static final String INSTANTIATION_DIR

private static HashMap<String,List<List<String>>> hm

Constructor Detail
- InstantiationFileHandler
```
public InstantiationFileHandler()
```

public static boolean hasInstantiationListsFor(Taclet taclet)

public static List<List<String>> getInstantiationListsFor(Taclet taclet)

private static void createListFor(Taclet taclet)

public static void saveListFor(TacletInstantiationModel model)

Class InstantiationFileHandler