/*
    Copyright 2005-2007 Adobe Systems Incorporated
    Distributed under the MIT License (see accompanying file LICENSE_1_0_0.txt
    or a copy at http://stlab.adobe.com/licenses.html)
*/

sheet editor
{
interface:
    adam_source   : "";
    eve_source    : "";

    pm_expression : "";
    pm_to_cell    : "";
    pm_results    : "";

    ls_expression : "";
    ls_to_cell    : "";
    ls_results    : "";

    results       : "";

    errors        : "";

    adam_dirty    : false;
    eve_dirty     : false;

output:
    result <==
    {
        pm_expression : pm_expression,
        pm_to_cell    : pm_to_cell,
        ls_expression : ls_expression,
        ls_to_cell    : ls_to_cell
    };
    
    enable <== 
	{
		adam_source : adam_source,
		eve_source  : eve_source,
		results     : results,
		errors      : errors
	};

invariant:
    adam_source_filled   <== adam_source != "";
    eve_source_filled    <== eve_source != "";
}
