Class ApplicableImpl

    • Field Detail

      • name

        private final String name
      • pos

        final Pos pos
    • Constructor Detail

      • ApplicableImpl

        protected ApplicableImpl​(String name,
                                 Pos pos)
      • ApplicableImpl

        protected ApplicableImpl​(String name)
      • ApplicableImpl

        protected ApplicableImpl​(BuiltIn builtIn,
                                 Pos pos)
        Creates an ApplicableImpl that directly implements a BuiltIn. The parameter is currently only for provenance purposes.
      • ApplicableImpl

        protected ApplicableImpl​(BuiltIn builtIn)
        Creates an ApplicableImpl that directly implements a BuiltIn. The parameter is currently only for provenance purposes.