Package pascal.taie.language.generics

@Experimental package pascal.taie.language.generics
In this package, we offer a generics model for Java. It is not an invasive change to the type system, but rather an additional attribute which offers information about the generics starting from Java 5, as in JVM Spec. 4.7.9.1 Signatures. Notes that our implementation will not follow the JVM Spec. strictly, and will be altered slightly for convenience, e.g.,
  • We name *Signature as *GSignature (G means Generics).
  • We name JavaTypeSignature as TypeGSignature.
  • We make VoidDescriptor a TypeGSignature.