public interface Environment
extends java.io.Serializable
Modifier and Type | Method and Description |
---|---|
@NotNull java.util.Set<Compilation> |
compilationSet()
Return a set view containing the compilations in this environment.
|
@Nullable Compilation |
getCompilation(@NotNull Document document)
Get the compilation set to this environment with the given
document or
return null if no such compilation exist in this environment. |
@Nullable Compilation |
getCompilation(@NotNull java.lang.String name)
Get the compilation registered in this environment with the document qualified with
the given
name or return null if no such compilation has been set
in this environment. |
@NotNull Diagnostic |
getDiagnostic()
Return the diagnostic manager in this environment.
|
@NotNull java.util.Map<java.lang.String,java.lang.Object> |
getMeta()
Returns the meta-data map of this environment.
|
@NotNull Compilation |
optCompilation(@NotNull Document document)
Return the compilation set to this environment with the given
document or
create a new compilation for the given document , add it to this environment
and return it. |
void |
setCompilation(@NotNull Document document,
@NotNull Compilation compilation)
Associate the given
compilation to the given document in this
environment. |
@NotNull @Contract(pure=true) @NotNull java.util.Set<Compilation> compilationSet()
@Nullable @Contract(pure=true) @Nullable Compilation getCompilation(@NotNull @NotNull Document document)
document
or
return null
if no such compilation exist in this environment.document
- the document of the compilation to be returned.document
in this environment. Or
null
if no such compilation exist.java.lang.NullPointerException
- if the given document
is null.@Nullable @Contract(pure=true) @Nullable Compilation getCompilation(@NotNull @NotNull java.lang.String name)
name
or return null
if no such compilation has been set
in this environment.name
- the qualification name of the document of the compilation to be
returned.name
set to this environment. Or
null
if no such compilation exist.java.lang.NullPointerException
- if the given name
is null.@NotNull @Contract(pure=true) @NotNull Diagnostic getDiagnostic()
@NotNull @Contract(pure=true) @NotNull java.util.Map<java.lang.String,java.lang.Object> getMeta()
@NotNull @Contract(mutates="this") @NotNull Compilation optCompilation(@NotNull @NotNull Document document)
document
or
create a new compilation for the given document
, add it to this environment
and return it.document
- the document to get a compilation for.document
in this environment or a
newly created, then added compilation for the given document
.java.lang.NullPointerException
- if the given document
is null.@Contract(mutates="this") void setCompilation(@NotNull @NotNull Document document, @NotNull @NotNull Compilation compilation)
compilation
to the given document
in this
environment.document
- the document to be associated to the given compilation
.compilation
- the compilation.java.lang.NullPointerException
- if the given document
or compilation
is null.