AspectJ Weaver 1.9.20.1 · org.aspectj.weaver.ConcreteTypeMunger

Modifier and Type	Field and Description
protected ResolvedType	aspectType
protected ResolvedTypeMunger	munger

Access	Constructor and Description
public	ConcreteTypeMunger(ResolvedTypeMunger munger, ResolvedType aspectType)

Method Summary

Modifier and Type	Method and Description
public int	compareTo(Object other) Implements org.aspectj.util.PartialOrder.PartialComparable.compareTo.
public boolean	equivalentTo(Object other) Equivalence can be true for an EclipseTypeMunger and a BcelTypeMunger that represent the same transformation (just at different points in the pipeline).
public boolean	existsToSupportShadowMunging() Some type mungers are created purely to help with the implementation of shadow mungers.
public int	fallbackCompareTo(Object other) Implements org.aspectj.util.PartialOrder.PartialComparable.fallbackCompareTo. This method can provide a deterministic ordering for elements that are strictly not comparable.
public ResolvedType	getAspectType()
public ResolvedMember	getMatchingSyntheticMember(Member member)
public ResolvedTypeMunger	getMunger() returns null for mungers that are used internally, but were not part of a declared thing in source code.
public ResolvedMember	getSignature()
public ISourceLocation	getSourceLocation()
public World	getWorld()
public boolean	isLateMunger()
public boolean	isTargetTypeParameterized() returns true if the ITD target type used type variables, for example I<T>.
public boolean	matches(ResolvedType onType)
public abstract ConcreteTypeMunger	parameterizedFor(ResolvedType targetType) For an ITD made on a generic type that shares type variables with that target type, this method will tailor the ITD for a particular usage of the generic type - either in its raw or parameterized form.
public abstract ConcreteTypeMunger	parameterizeWith(Map<String, UnresolvedType> parameterizationMap, World world)
public boolean	shouldOverwrite()

Inherited from java.lang.Object:: clone equals finalize getClass hashCode notify notifyAll toString wait wait wait

aspectType	back to summary
protected ResolvedType aspectType

munger	back to summary
protected ResolvedTypeMunger munger

ConcreteTypeMunger	back to summary
public ConcreteTypeMunger(ResolvedTypeMunger munger, ResolvedType aspectType)

Method Detail

compareTo	back to summary
public int compareTo(Object other) Implements org.aspectj.util.PartialOrder.PartialComparable.compareTo. Returns:int Doc from org.aspectj.util.PartialOrder.PartialComparable.compareTo. +1 if this is greater than other -1 if this is less than other 0 if this is not comparable to other Note returning 0 from this method doesn't mean the same thing as returning 0 from java.util.Comparable.compareTo()

compareTo

back to summary

public int compareTo(Object other)

Implements org.aspectj.util.PartialOrder.PartialComparable.compareTo.

Returns:int

Doc from org.aspectj.util.PartialOrder.PartialComparable.compareTo.

+1 if this is greater than other
-1 if this is less than other
0 if this is not comparable to other

Note

returning 0 from this method doesn't mean the same thing as returning 0 from java.util.Comparable.compareTo()

equivalentTo	back to summary
public boolean equivalentTo(Object other) Equivalence can be true for an EclipseTypeMunger and a BcelTypeMunger that represent the same transformation (just at different points in the pipeline).

existsToSupportShadowMunging	back to summary
public boolean existsToSupportShadowMunging() Some type mungers are created purely to help with the implementation of shadow mungers. For example to support the cflow() pointcut we create a new cflow field in the aspect, and that is added via a BcelCflowCounterFieldAdder. During compilation we need to compare sets of type mungers, and if some only come into existence after the 'shadowy' type things have been processed, we need to ignore them during the comparison. Returning true from this method indicates the type munger exists to support 'shadowy' stuff - and so can be ignored in some comparison.

existsToSupportShadowMunging

back to summary

public boolean existsToSupportShadowMunging()

Some type mungers are created purely to help with the implementation of shadow mungers. For example to support the cflow() pointcut we create a new cflow field in the aspect, and that is added via a BcelCflowCounterFieldAdder. During compilation we need to compare sets of type mungers, and if some only come into existence after the 'shadowy' type things have been processed, we need to ignore them during the comparison. Returning true from this method indicates the type munger exists to support 'shadowy' stuff - and so can be ignored in some comparison.

fallbackCompareTo	back to summary
public int fallbackCompareTo(Object other) Implements org.aspectj.util.PartialOrder.PartialComparable.fallbackCompareTo. Doc from org.aspectj.util.PartialOrder.PartialComparable.fallbackCompareTo. This method can provide a deterministic ordering for elements that are strictly not comparable. If you have no need for this, this method can just return 0 whenever called.

fallbackCompareTo

back to summary

public int fallbackCompareTo(Object other)

Implements org.aspectj.util.PartialOrder.PartialComparable.fallbackCompareTo.

Doc from org.aspectj.util.PartialOrder.PartialComparable.fallbackCompareTo.

This method can provide a deterministic ordering for elements that are strictly not comparable. If you have no need for this, this method can just return 0 whenever called.

getAspectType	back to summary
public ResolvedType getAspectType()

getMatchingSyntheticMember	back to summary
public ResolvedMember getMatchingSyntheticMember(Member member)

getMunger	back to summary
public ResolvedTypeMunger getMunger() returns null for mungers that are used internally, but were not part of a declared thing in source code.

getSignature	back to summary
public ResolvedMember getSignature()

getSourceLocation	back to summary
public ISourceLocation getSourceLocation()

getWorld	back to summary
public World getWorld()

isLateMunger	back to summary
public boolean isLateMunger()

isTargetTypeParameterized back to summary

isTargetTypeParameterized	back to summary
public boolean isTargetTypeParameterized() returns true if the ITD target type used type variables, for example I<T>. When they are specified like this, the ITDs 'share' type variables with the generic type. Usually this method is called because we need to know whether to tailor the munger for addition to a particular type. For example: `interface I<T> {} aspect X implements I<String> { List<T> I<T>.foo { return null; } }` In this case the munger matches X but it matches with the form `List<String> foo() { return null; }`

public boolean isTargetTypeParameterized()

returns true if the ITD target type used type variables, for example I<T>. When they are specified like this, the ITDs 'share' type variables with the generic type. Usually this method is called because we need to know whether to tailor the munger for addition to a particular type. For example:


  interface I<T> {}

  aspect X implements I<String> {
    List<T> I<T>.foo { return null; }
  }

In this case the munger matches X but it matches with the form


  List<String> foo() { return null; }

matches	back to summary
public boolean matches(ResolvedType onType)

parameterizedFor	back to summary
public abstract ConcreteTypeMunger parameterizedFor(ResolvedType targetType) For an ITD made on a generic type that shares type variables with that target type, this method will tailor the ITD for a particular usage of the generic type - either in its raw or parameterized form.

parameterizeWith	back to summary
public abstract ConcreteTypeMunger parameterizeWith(Map<String, UnresolvedType> parameterizationMap, World world)

shouldOverwrite	back to summary
public boolean shouldOverwrite()

public abstract Class ConcreteTypeMunger

Field Summary

Constructor Summary

Method Summary

Field Detail

Constructor Detail

Method Detail