Java type system

GPTKB entity

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