| Package | Description |
|---|---|
| org.sonar.java.matcher | |
| org.sonar.java.model | |
| org.sonar.java.resolve | |
| org.sonar.java.se | |
| org.sonar.java.se.constraint | |
| org.sonar.java.se.symbolicvalues | |
| org.sonar.plugins.java.api.semantic |
Provides interfaces to represent Java source code as syntax tree.
|
| org.sonar.plugins.java.api.tree |
Provides interfaces to represent Java source code as syntax tree.
|
| Modifier and Type | Method and Description |
|---|---|
static boolean |
ParametersCriteria.matches(List<TypeCriteria> expectedTypes,
List<Type> actualTypes) |
| Modifier and Type | Method and Description |
|---|---|
Type |
AbstractTypedTree.symbolType() |
| Modifier and Type | Method and Description |
|---|---|
void |
AbstractTypedTree.setInferedType(Type type) |
void |
AbstractTypedTree.setType(Type type) |
| Modifier and Type | Class and Description |
|---|---|
class |
ArrayJavaType |
class |
ClassJavaType |
class |
DeferredType |
class |
JavaType |
class |
MethodJavaType |
class |
ParametrizedTypeJavaType |
class |
TypeVariableJavaType |
class |
UnknownType |
class |
WildCardType |
| Modifier and Type | Method and Description |
|---|---|
static Type |
LeastUpperBound.greatestLowerBound(List<Type> types)
From JLS 8 5.1.10 - greatest lower bound : glb(V1,...,Vm) is defined as V1 & ...
|
Type |
LeastUpperBound.leastUpperBound(Set<Type> types)
Compute the "Least Upper Bound" ("lub", jls8 §4.10.4) of a list of type.
|
Type |
JavaSymbol.TypeJavaSymbol.superClass() |
Type |
JavaSymbol.type() |
| Modifier and Type | Method and Description |
|---|---|
List<Type> |
JavaSymbol.TypeJavaSymbol.interfaces() |
List<Type> |
JavaSymbol.MethodJavaSymbol.parameterTypes() |
List<Type> |
JavaSymbol.MethodJavaSymbol.thrownTypes() |
| Modifier and Type | Method and Description |
|---|---|
List<JavaType> |
Resolve.findSamMethodArgs(Type type) |
boolean |
WildCardType.isSubtypeOf(Type superType) |
boolean |
UnknownType.isSubtypeOf(Type superType) |
boolean |
TypeVariableJavaType.isSubtypeOf(Type superType) |
boolean |
ParametrizedTypeJavaType.isSubtypeOf(Type superType) |
boolean |
JavaType.isSubtypeOf(Type superType) |
boolean |
ClassJavaType.isSubtypeOf(Type superType) |
| Modifier and Type | Method and Description |
|---|---|
static Type |
LeastUpperBound.greatestLowerBound(List<Type> types)
From JLS 8 5.1.10 - greatest lower bound : glb(V1,...,Vm) is defined as V1 & ...
|
Type |
LeastUpperBound.leastUpperBound(Set<Type> types)
Compute the "Least Upper Bound" ("lub", jls8 §4.10.4) of a list of type.
|
| Modifier and Type | Method and Description |
|---|---|
Type |
MethodYield.exceptionType() |
| Modifier and Type | Method and Description |
|---|---|
Stream<ProgramState> |
MethodYield.statesAfterInvocation(List<SymbolicValue> invocationArguments,
List<Type> invocationTypes,
ProgramState programState,
Supplier<SymbolicValue> svSupplier) |
| Modifier and Type | Method and Description |
|---|---|
SymbolicValue.ExceptionalSymbolicValue |
ConstraintManager.createExceptionalSymbolicValue(Type exceptionType) |
| Modifier and Type | Method and Description |
|---|---|
Type |
SymbolicValue.ExceptionalSymbolicValue.exceptionType() |
| Constructor and Description |
|---|
ExceptionalSymbolicValue(int id,
Type exceptionType) |
| Modifier and Type | Interface and Description |
|---|---|
static interface |
Type.ArrayType
Type for arrays.
|
| Modifier and Type | Method and Description |
|---|---|
Type |
Type.ArrayType.elementType()
Type of elements in this array.
|
Type |
Type.erasure()
Erasure of this type.
|
Type |
Symbol.TypeSymbol.superClass()
Returns the superclass of this type symbol.
|
Type |
Symbol.type()
Type of symbol.
|
| Modifier and Type | Method and Description |
|---|---|
List<Type> |
Symbol.TypeSymbol.interfaces()
Interfaces implemented by this type.
|
List<Type> |
Symbol.MethodSymbol.parameterTypes()
Type of parameters declared by this method.
|
List<Type> |
Symbol.MethodSymbol.thrownTypes()
List of the exceptions that can be thrown by the method.
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
Type.isSubtypeOf(Type superType)
Check whether a type is a subtype of another.
|
| Modifier and Type | Method and Description |
|---|---|
Type |
TypeTree.symbolType() |
Type |
ExpressionTree.symbolType() |
Copyright © 2012–2017 SonarSource. All rights reserved.