Class GetNamedPart

  • All Implemented Interfaces:
    HasSetter, Named

    public class GetNamedPart
    extends Procedure2
    implements HasSetter
    Procedure to get the value of a named component of an object.
    • Field Detail

      • getNamedPart

        public static final GetNamedPart getNamedPart
      • CLASSTYPE_FOR

        public static final java.lang.String CLASSTYPE_FOR
        PREFIX:<> is equivalent to the ClassType bound to PREFIX.
        See Also:
        Constant Field Values
      • CAST_METHOD_NAME

        public static final java.lang.String CAST_METHOD_NAME
        Pseudo-method-name for the cast operation.
        See Also:
        Constant Field Values
      • INSTANCEOF_METHOD_NAME

        public static final java.lang.String INSTANCEOF_METHOD_NAME
        Pseudo-method-name for class-membership-test (instanceof) operation.
        See Also:
        Constant Field Values
    • Constructor Detail

      • GetNamedPart

        public GetNamedPart()
    • Method Detail

      • apply2

        public java.lang.Object apply2​(java.lang.Object container,
                                       java.lang.Object part)
                                throws java.lang.Throwable
        Specified by:
        apply2 in class Procedure2
        Throws:
        java.lang.Throwable
      • getTypePart

        public static java.lang.Object getTypePart​(Type type,
                                                   java.lang.String name)
                                            throws java.lang.Exception
        Throws:
        java.lang.Exception
      • getNamedPart

        public static java.lang.Object getNamedPart​(java.lang.Object container,
                                                    Symbol part)
                                             throws java.lang.Exception
        Throws:
        java.lang.Exception
      • getMemberPart

        public static java.lang.Object getMemberPart​(java.lang.Object container,
                                                     java.lang.String name)
                                              throws java.lang.Exception
        Throws:
        java.lang.Exception