io.sarl.lang.typesystem
Class DefaultSARLTypeChecker
All Superinterfaces:
ISARLTypeChecker
class DefaultSARLTypeChecker
extends java.lang.Object
implements ISARLTypeChecker
Default implementation of the SARL type checker that provides extended methods for checking types compared to the standard Xtext type checker.
Maven Group Identifier:
io.sarl.lang
Maven Artifact Identifier:
compiler
Since:
0.15
Constructor Summary
Constructor and description
new
Action Summary
Modifier and type Action and description
int getTypeArgumentConformance(List<E>,List<E>,ITypeReferenceOwner)
java.util.List<E> substituteRootWildcard(List<E>,List<E>,ITypeReferenceOwner)
Inherited: isTypeArgumentConformant(List<E>,List<E>,ITypeReferenceOwner)
Constructor Details
new
new
Action Details
getTypeArgumentConformance(List<E>,List<E>,ITypeReferenceOwner)
def getTypeArgumentConformance(List<E>,List<E>,ITypeReferenceOwner) : int
substituteRootWildcard(List<E>,List<E>,ITypeReferenceOwner)
def substituteRootWildcard(List<E>,List<E>,ITypeReferenceOwner) : java.util.List<E>