%%% %% Section 4.5: Parameterized Types %% %% @author Martin Bravenboer <martin.bravenboer@gmail.com> %%% module languages/java-15/types/ParameterizedTypes imports languages/java-15/types/ReferenceTypes exports sorts TypeArgs ActualTypeArg WildcardBound context-free syntax "<" {ActualTypeArg ","}+ ">" -> TypeArgs {cons("TypeArgs")} Type -> ActualTypeArg "?" WildcardBound? -> ActualTypeArg {cons("Wildcard")} "extends" RefType -> WildcardBound {cons("WildcardUpperBound")} "super" RefType -> WildcardBound {cons("WildcardLowerBound")}