Class VerifierFunctionCallDescr

    • Constructor Detail

      • VerifierFunctionCallDescr

        public VerifierFunctionCallDescr​(VerifierRule rule)
    • Method Detail

      • getArguments

        public java.lang.String getArguments()
      • setArguments

        public void setArguments​(java.lang.String arguments)
      • getName

        public java.lang.String getName()
      • setName

        public void setName​(java.lang.String name)