Class LoadInvariant

public class LoadInvariant

extends AbstractFileOpenCommand

Command to load a new invariant computer from file.

Constructor Summary
`LoadInvariant(CommandManager commandManager, String id)` Creates a new instance of LoadInvariant

Method Summary
`void`	`performOpen(File[] files)`

public LoadInvariant(CommandManager commandManager,
                     String id)

Creates a new instance of LoadInvariant

public void performOpen(File[] files)

Overview Package Tree Index Deprecated About
Prev Class \| Next Class	Frames \| No Frames
Summary: Nested \| Field \| Method \| Constr	Detail: Nested \| Field \| Method \| Constr

Constructor Summary