org.grinvin.list.commands

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)

Constructor Details

LoadInvariant

public LoadInvariant(CommandManager commandManager,
                     String id)
Creates a new instance of LoadInvariant

Method Details

performOpen

public void performOpen(File[] files)