Class TopLevelAnnotations

java.lang.Object

tools.refinery.language.semantics.internal.annotations.TopLevelAnnotations

All Implemented Interfaces:

Annotations

public class TopLevelAnnotations
extends Object
implements Annotations

Constructor Summary

Constructors

Constructor	Description
TopLevelAnnotations(AnnotationContext context, Problem problem, Collection<Problem> importedProblems)

Method Summary

Modifier and Type	Method	Description
Stream<Annotation>	getAllAnnotations()
org.eclipse.emf.ecore.EObject	getAnnotatedElement()
Optional<Annotation>	getAnnotation(org.eclipse.xtext.naming.QualifiedName annotationName)
Stream<Annotation>	getAnnotations(org.eclipse.xtext.naming.QualifiedName annotationName)
boolean	hasAnnotation(org.eclipse.xtext.naming.QualifiedName annotationName)

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

TopLevelAnnotations

public TopLevelAnnotations(AnnotationContext context,
 Problem problem,
 Collection<Problem> importedProblems)

Method Details

getAnnotatedElement

public org.eclipse.emf.ecore.EObject getAnnotatedElement()

Specified by:

getAnnotatedElement in interface Annotations

hasAnnotation

public boolean hasAnnotation(org.eclipse.xtext.naming.QualifiedName annotationName)

Specified by:

hasAnnotation in interface Annotations

getAnnotation

public Optional<Annotation> getAnnotation(org.eclipse.xtext.naming.QualifiedName annotationName)

Specified by:

getAnnotation in interface Annotations

getAnnotations

public Stream<Annotation> getAnnotations(org.eclipse.xtext.naming.QualifiedName annotationName)

Specified by:

getAnnotations in interface Annotations

getAllAnnotations

public Stream<Annotation> getAllAnnotations()

Specified by:

getAllAnnotations in interface Annotations