Class ArgDesc


  • public class ArgDesc
    extends java.lang.Object
    • Constructor Detail

      • ArgDesc

        public ArgDesc​(java.lang.String name)
      • ArgDesc

        public ArgDesc​(java.lang.String name,
                       java.util.List<AttributedString> description)
    • Method Detail

      • getName

        public java.lang.String getName()
      • doArgNames

        public static java.util.List<ArgDesc> doArgNames​(java.util.List<java.lang.String> names)