Statements (53)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb: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 |
gptkb:floating_point_unit
short double long char int boolean byte |
| gptkbp:hasReferenceType |
gptkb:interface
gptkb:record_producer gptkb:class gptkb:annotation array enum |
| 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 |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
Java type system
|