Class ParameterToken

    • Field Summary

      Fields 
      Modifier and Type Field Description
      java.lang.String name  
    • Constructor Summary

      Constructors 
      Constructor Description
      ParameterToken​(java.lang.String name, Location location)  
    • Field Detail

      • name

        public final java.lang.String name
    • Constructor Detail

      • ParameterToken

        public ParameterToken​(java.lang.String name,
                              Location location)
        Parameters:
        name - the name of the parameter to be bound
        location - location of the element
    • Method Detail

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object