Class Code.Interpolator

  • All Implemented Interfaces:
    com.google.common.base.Function<java.util.List<Code.Term>,​java.util.List<Code.Term>>, java.util.function.Function<java.util.List<Code.Term>,​java.util.List<Code.Term>>
    Enclosing class:
    Code

    static class Code.Interpolator
    extends java.lang.Object
    implements com.google.common.base.Function<java.util.List<Code.Term>,​java.util.List<Code.Term>>
    • Field Summary

      Fields 
      Modifier and Type Field Description
      private java.util.Map<Code.Binding,​java.lang.String> bindings  
      private java.lang.String name  
      private java.util.Map<Code.Binding,​java.lang.String> overrides  
    • Constructor Summary

      Constructors 
      Constructor Description
      Interpolator​(java.lang.String name, java.util.Map<Code.Binding,​java.lang.String> bindings, java.util.Map<Code.Binding,​java.lang.String> overrides)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.util.List<Code.Term> apply​(java.util.List<Code.Term> terms)  
      (package private) Code.Term dereference​(Code.Binding binding)  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
      • Methods inherited from interface com.google.common.base.Function

        equals
      • Methods inherited from interface java.util.function.Function

        andThen, compose
    • Field Detail

      • name

        private final java.lang.String name
      • bindings

        private final java.util.Map<Code.Binding,​java.lang.String> bindings
      • overrides

        @Nullable
        private final java.util.Map<Code.Binding,​java.lang.String> overrides
    • Constructor Detail

      • Interpolator

        Interpolator​(java.lang.String name,
                     java.util.Map<Code.Binding,​java.lang.String> bindings,
                     @Nullable
                     java.util.Map<Code.Binding,​java.lang.String> overrides)
    • Method Detail

      • apply

        public java.util.List<Code.Term> apply​(java.util.List<Code.Term> terms)
        Specified by:
        apply in interface com.google.common.base.Function<java.util.List<Code.Term>,​java.util.List<Code.Term>>
        Specified by:
        apply in interface java.util.function.Function<java.util.List<Code.Term>,​java.util.List<Code.Term>>