| Modifier and Type | Field and Description |
|---|---|
| protected TypePattern | |
| protected boolean | |
| private boolean | |
| protected TypePatternList |
| Access | Constructor and Description |
|---|---|
| public | |
| protected |
| Modifier and Type | Method and Description |
|---|---|
| public Object | accept(PatternNodeVisitor visitor, Object data)
Implements abstract org. |
| public boolean | equals(Object
the reference object with which to compare. other)Overrides java. |
| public List | |
| public TypePattern | |
| public String | getNameSuffix()
Implements abstract org. |
| public TypePatternList | |
| public int | |
| public boolean | isAdviceLike()
Implements abstract org. |
| public boolean | |
| public boolean | |
| public boolean | |
| private ResolvedType | maybeGetNewParent(ResolvedType targetType, TypePattern typePattern, World world, boolean reportErrors)
|
| public Declare | parameterizeWith(Map<String, UnresolvedType> typeVariableBindingMap, World w)
Implements abstract org. |
| public boolean | |
| public boolean | |
| public static Declare | read(VersionedDataInputStream s, ISourceContext context)
|
| public void | resolve(IScope scope)
Implements abstract org. |
| public String | |
| public Object | traverse(PatternNodeVisitor visitor, Object data)
|
| private boolean | verifyNoInheritedAlternateParameterization(ResolvedType typeToVerify, ResolvedType newParent, World world)
This method looks through the type hierarchy for some target type - it is attempting to find an existing parameterization that clashes with the new parent that the user wants to apply to the type. |
| public void | write(CompressingDataOutputStream s)
Implements abstract org. |
| child | back to summary |
|---|---|
| protected TypePattern child | |
| isExtends | back to summary |
|---|---|
| protected boolean isExtends | |
| isWildChild | back to summary |
|---|---|
| private boolean isWildChild | |
| parents | back to summary |
|---|---|
| protected TypePatternList parents | |
| DeclareParents | back to summary |
|---|---|
| public DeclareParents(TypePattern child, List<TypePattern> parents, boolean isExtends) | |
| DeclareParents | back to summary |
|---|---|
| protected DeclareParents(TypePattern child, TypePatternList parents, boolean isExtends) | |
| accept | back to summary |
|---|---|
| public Object accept(PatternNodeVisitor visitor, Object data) Implements abstract org.
| |
| equals | back to summary |
|---|---|
| public boolean equals(Object other) Overrides java. Doc from java. Indicates whether some other object is "equal to" this one.
The
An equivalence relation partitions the elements it operates on into equivalence classes; all the members of an equivalence class are equal to each other. Members of an equivalence class are substitutable for each other, at least for some purposes. | |
| findMatchingNewParents | back to summary |
|---|---|
| public List | |
| getChild | back to summary |
|---|---|
| public TypePattern getChild() | |
| getNameSuffix | back to summary |
|---|---|
| public String getNameSuffix() Implements abstract org. Doc from org. Declares have methods in the .class file against which info can be stored (for example, the annotation in the case of declare annotation). The name is of the form ajc$declare_XXX_NNN where XXX can optionally be set in this 'getNameSuffix()' method - depending on whether, at weave time, we want to easily differentiate between the declare methods.
| |
| getParents | back to summary |
|---|---|
| public TypePatternList getParents() | |
| hashCode | back to summary |
|---|---|
| public int hashCode() Overrides java. Doc from java. Returns a hash code value for the object. This method is
supported for the benefit of hash tables such as those provided by
The general contract of
| |
| isAdviceLike | back to summary |
|---|---|
| public boolean isAdviceLike() Implements abstract org. Doc from org. Indicates if this declare should be treated like advice. If true, the declare will have no effect in an abstract aspect. It will be inherited by any concrete aspects and will have an effect for each concrete aspect it is ultimately inherited by.
| |
| isExtends | back to summary |
|---|---|
| public boolean isExtends() | |
| isMixin | back to summary |
|---|---|
| public boolean isMixin() | |
| match | back to summary |
|---|---|
| public boolean match(ResolvedType typeX) | |
| maybeGetNewParent | back to summary |
|---|---|
| private ResolvedType maybeGetNewParent(ResolvedType targetType, TypePattern typePattern, World world, boolean reportErrors) | |
| parameterizeWith | back to summary |
|---|---|
| public Declare parameterizeWith(Map<String, UnresolvedType> typeVariableBindingMap, World w) Implements abstract org. Doc from org. Returns a version of this declare element in which all references to type variables are replaced with their bindings given in the map.
| |
| parentsIncludeClass | back to summary |
|---|---|
| public boolean parentsIncludeClass(World w) | |
| parentsIncludeInterface | back to summary |
|---|---|
| public boolean parentsIncludeInterface(World w) | |
| read | back to summary |
|---|---|
| public static Declare read(VersionedDataInputStream s, ISourceContext context) throws IOException | |
| resolve | back to summary |
|---|---|
| public void resolve(IScope scope) Implements abstract org. Doc from org. Returns this declare mutated
| |
| toString | back to summary |
|---|---|
| public String toString() Overrides java. Doc from java. Returns a string representation of the object. | |
| traverse | back to summary |
|---|---|
| public Object traverse(PatternNodeVisitor visitor, Object data) | |
| verifyNoInheritedAlternateParameterization | back to summary |
|---|---|
| private boolean verifyNoInheritedAlternateParameterization(ResolvedType typeToVerify, ResolvedType newParent, World world) This method looks through the type hierarchy for some target type - it is attempting to find an existing parameterization
that clashes with the new parent that the user wants to apply to the type. If it finds an existing parameterization that
matches the new one, it silently completes, if it finds one that clashes (e.g. a type already has A | |
| write | back to summary |
|---|---|
| public void write(CompressingDataOutputStream s) throws IOException Implements abstract org.
| |