Examples with Diagnostic org.eclipse.emf.common.util.Diagnostic used on opensource projects

Example 81 with Diagnostic

use of org.eclipse.emf.common.util.Diagnostic in project iobserve-analysis by research-iobserve.

the class systemadaptationEditor method createModel.

/**
 * This is the method called to load a resource into the editing domain's resource set based on the editor's input.
 * <!-- begin-user-doc -->
 * <!-- end-user-doc -->
 * @generated
 */
public void createModel() {
    URI resourceURI = EditUIUtil.getURI(getEditorInput(), editingDomain.getResourceSet().getURIConverter());
    Exception exception = null;
    Resource resource = null;
    try {
        // Load the resource through the editing domain.
        // 
        resource = editingDomain.getResourceSet().getResource(resourceURI, true);
    } catch (Exception e) {
        exception = e;
        resource = editingDomain.getResourceSet().getResource(resourceURI, false);
    }
    Diagnostic diagnostic = analyzeResourceProblems(resource, exception);
    if (diagnostic.getSeverity() != Diagnostic.OK) {
        resourceToDiagnosticMap.put(resource, analyzeResourceProblems(resource, exception));
    }
    editingDomain.getResourceSet().eAdapters().add(problemIndicationAdapter);
}

Example 82 with Diagnostic

use of org.eclipse.emf.common.util.Diagnostic in project iobserve-analysis by research-iobserve.

the class systemadaptationExample method printDiagnostic.

/**
 * <!-- begin-user-doc -->
 * Prints diagnostics with indentation.
 * <!-- end-user-doc -->
 * @param diagnostic the diagnostic to print.
 * @param indent the indentation for printing.
 * @generated
 */
protected static void printDiagnostic(Diagnostic diagnostic, String indent) {
    System.out.print(indent);
    System.out.println(diagnostic.getMessage());
    for (Diagnostic child : diagnostic.getChildren()) {
        printDiagnostic(child, indent + "  ");
    }
}

Example 83 with Diagnostic

use of org.eclipse.emf.common.util.Diagnostic in project iobserve-analysis by research-iobserve.

the class cloudprofileExample method printDiagnostic.

/**
 * <!-- begin-user-doc -->
 * Prints diagnostics with indentation.
 * <!-- end-user-doc -->
 * @param diagnostic the diagnostic to print.
 * @param indent the indentation for printing.
 * @generated
 */
protected static void printDiagnostic(Diagnostic diagnostic, String indent) {
    System.out.print(indent);
    System.out.println(diagnostic.getMessage());
    for (Diagnostic child : diagnostic.getChildren()) {
        printDiagnostic(child, indent + "  ");
    }
}

Example 84 with Diagnostic

use of org.eclipse.emf.common.util.Diagnostic in project iobserve-analysis by research-iobserve.

the class cloudprofileExample method main.

/**
 * <!-- begin-user-doc -->
 * Load all the argument file paths or URIs as instances of the model.
 * <!-- end-user-doc -->
 * @param args the file paths or URIs.
 * @generated
 */
public static void main(String[] args) {
    // Create a resource set to hold the resources.
    // 
    ResourceSet resourceSet = new ResourceSetImpl();
    // Register the appropriate resource factory to handle all file extensions.
    // 
    resourceSet.getResourceFactoryRegistry().getExtensionToFactoryMap().put(Resource.Factory.Registry.DEFAULT_EXTENSION, new cloudprofileResourceFactoryImpl());
    // Register the package to ensure it is available during loading.
    // 
    resourceSet.getPackageRegistry().put(cloudprofilePackage.eNS_URI, cloudprofilePackage.eINSTANCE);
    // 
    if (args.length == 0) {
        System.out.println("Enter a list of file paths or URIs that have content like this:");
        try {
            Resource resource = resourceSet.createResource(URI.createURI("http:///My.cloudprofile"));
            CloudProfile root = cloudprofileFactory.eINSTANCE.createCloudProfile();
            resource.getContents().add(root);
            resource.save(System.out, null);
        } catch (IOException exception) {
            exception.printStackTrace();
        }
    } else {
        // 
        for (int i = 0; i < args.length; ++i) {
            // Construct the URI for the instance file.
            // The argument is treated as a file path only if it denotes an existing file.
            // Otherwise, it's directly treated as a URL.
            // 
            File file = new File(args[i]);
            URI uri = file.isFile() ? URI.createFileURI(file.getAbsolutePath()) : URI.createURI(args[i]);
            try {
                // Demand load resource for this file.
                // 
                Resource resource = resourceSet.getResource(uri, true);
                System.out.println("Loaded " + uri);
                // 
                for (EObject eObject : resource.getContents()) {
                    Diagnostic diagnostic = Diagnostician.INSTANCE.validate(eObject);
                    if (diagnostic.getSeverity() != Diagnostic.OK) {
                        printDiagnostic(diagnostic, "");
                    }
                }
            } catch (RuntimeException exception) {
                System.out.println("Problem loading " + uri);
                exception.printStackTrace();
            }
        }
    }
}

Example 85 with Diagnostic

use of org.eclipse.emf.common.util.Diagnostic in project statecharts by Yakindu.

the class STextJavaValidatorTest method checkNoAssignmentInGuard.

@Test
public void checkNoAssignmentInGuard() {
    String scope = "internal: var myInt : integer var myBool : boolean = true";
    EObject expression = super.parseExpression("[myBool = false]", ReactionTrigger.class.getSimpleName(), scope);
    AssertableDiagnostics validationResult = tester.validate(expression);
    validationResult.assertErrorContains(STextJavaValidator.GUARD_CONTAINS_ASSIGNMENT);
    expression = super.parseExpression("[myInt = 5]", ReactionTrigger.class.getSimpleName(), scope);
    validationResult = tester.validate(expression);
    Iterator<Diagnostic> diag = validationResult.getAllDiagnostics().iterator();
    while (diag.hasNext()) {
        Diagnostic d = diag.next();
        if (d.getMessage().equals(GUARD_EXPRESSION)) {
            assertEquals(STextJavaValidator.GUARD_EXPRESSION, d.getMessage());
        } else {
            assertEquals(STextJavaValidator.GUARD_CONTAINS_ASSIGNMENT, d.getMessage());
        }
    }
}