ChartEditor.java 文件源码

/**
 * This returns whether something has been persisted to the URI of the
 * specified resource.
 * The implementation uses the URI converter from the editor's resource set
 * to try to open an input stream.
 * <!-- begin-user-doc -->
 * <!-- end-user-doc -->
 * 
 * @generated
 */
protected boolean isPersisted ( final Resource resource )
{
    boolean result = false;
    try
    {
        final InputStream stream = this.editingDomain.getResourceSet ()
                .getURIConverter ().createInputStream ( resource.getURI () );
        if ( stream != null )
        {
            result = true;
            stream.close ();
        }
    }
    catch ( final IOException e )
    {
        // Ignore
    }
    return result;
}