Class FreeVariables


  • public final class FreeVariables
    extends java.lang.Object
    • Constructor Detail

      • FreeVariables

        private FreeVariables()
    • Method Detail

      • variable

        public static FreeVariable variable​(javax.lang.model.type.DeclaredType type,
                                            java.lang.String name)
      • getType

        public static javax.lang.model.type.DeclaredType getType​(FreeVariable freeVariable)
      • getName

        public static java.lang.String getName​(FreeVariable freeVariable)
      • setType

        public static java.util.function.Function<FreeVariable,​FreeVariable> setType​(javax.lang.model.type.DeclaredType newType)
      • modType

        public static java.util.function.Function<FreeVariable,​FreeVariable> modType​(java.util.function.Function<javax.lang.model.type.DeclaredType,​javax.lang.model.type.DeclaredType> typeMod)
      • setName

        public static java.util.function.Function<FreeVariable,​FreeVariable> setName​(java.lang.String newName)
      • modName

        public static java.util.function.Function<FreeVariable,​FreeVariable> modName​(java.util.function.Function<java.lang.String,​java.lang.String> nameMod)