%%% %% Section 4.2: Primitive Types and Values %% %% @author Martin Bravenboer <martin.bravenboer@gmail.com> %%% module languages/java-15/types/PrimitiveTypes exports sorts PrimType NumType IntType FloatType context-free syntax NumType -> PrimType "boolean" -> PrimType {cons("Boolean")} IntType -> NumType FloatType -> NumType "byte" -> IntType {cons("Byte")} "short" -> IntType {cons("Short")} "int" -> IntType {cons("Int")} "long" -> IntType {cons("Long")} "char" -> IntType {cons("Char")} "float" -> FloatType {cons("Float")} "double" -> FloatType {cons("Double")}