Statements (53)
Predicate | Object |
---|---|
gptkbp:instanceOf |
type system
|
gptkbp:enforcedBy |
type safety
compile time runtime (for some checks) |
gptkbp:hasFeature |
interfaces
null reference covariance arrays abstract classes enums type casting unboxing contravariance subtyping autoboxing annotations (type annotations since Java 8) bounded type parameters final classes type erasure (for generics) type inference (limited) wildcards (in generics) |
gptkbp:hasPrimitiveType |
short
double long floating point unit char int boolean byte |
gptkbp:hasReferenceType |
gptkb:class
record producer annotation interface array enum |
https://www.w3.org/2000/01/rdf-schema#label |
Java type system
|
gptkbp:influencedBy |
C++ type system
Objective-C type system Smalltalk type system |
gptkbp:limitation |
no intersection types (except in generics bounds)
no reified generics no union types null pointer exceptions possible type erasure for generics |
gptkbp:supports |
generics
static typing strong typing reference types nominal typing primitive types |
gptkbp:usedBy |
gptkb:Java_programming_language
|
gptkbp:bfsParent |
gptkb:Scala_type_system
|
gptkbp:bfsLayer |
7
|