org.grinvin.list.actions

Class LoadInvariant


public class LoadInvariant
extends FileOpenAction

Action to load a new invariant computer from file.

Constructor Summary

LoadInvariant(Window parent)
Creates a new instance of LoadInvariant

Method Summary

protected void
openFile(File file)

Constructor Details

LoadInvariant

public LoadInvariant(Window parent)
Creates a new instance of LoadInvariant

Method Details

openFile

protected void openFile(File file)