Class TypeSystemCodeGenerator

    • Constructor Detail

      • TypeSystemCodeGenerator

        public TypeSystemCodeGenerator()
    • Method Detail

      • isTypeMethodName

        public static java.lang.String isTypeMethodName​(TypeData type)
      • isImplicitTypeMethodName

        public static java.lang.String isImplicitTypeMethodName​(TypeData type)
      • asTypeMethodName

        public static java.lang.String asTypeMethodName​(TypeData type)
      • asImplicitTypeMethodName

        public static java.lang.String asImplicitTypeMethodName​(TypeData type)
      • getImplicitClass

        public static java.lang.String getImplicitClass​(TypeData type)
      • expectTypeMethodName

        public static java.lang.String expectTypeMethodName​(TypeData type)
      • typeName

        public static java.lang.String typeName​(TypeSystemData typeSystem)
      • singletonName

        public static java.lang.String singletonName​(TypeSystemData type)