Package tools.refinery.language.conversion

Class UpperBoundValueConverter

java.lang.Object
org.eclipse.xtext.conversion.impl.AbstractValueConverter<Integer>
tools.refinery.language.conversion.UpperBoundValueConverter
All Implemented Interfaces:
org.eclipse.xtext.conversion.IValueConverter<Integer>
public class UpperBoundValueConverter extends org.eclipse.xtext.conversion.impl.AbstractValueConverter<Integer>

  • Nested Class Summary

    Nested classes/interfaces inherited from interface org.eclipse.xtext.conversion.IValueConverter

    org.eclipse.xtext.conversion.IValueConverter.RuleSpecific

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    static final String
    INFINITY
     

    Fields inherited from interface org.eclipse.xtext.conversion.IValueConverter

    NO_OP_CONVERTER

  • Constructor Summary

    Constructors
    Constructor
    Description
    UpperBoundValueConverter()
     

  • Method Summary

    Modifier and Type
    Method
    Description
    String
    toString(Integer value)
     
    Integer
    toValue(String string, org.eclipse.xtext.nodemodel.INode node)
     

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

  • Field Details

  • Constructor Details

    • UpperBoundValueConverter

      public UpperBoundValueConverter()

  • Method Details

    • toValue

      public Integer toValue(String string, org.eclipse.xtext.nodemodel.INode node) throws org.eclipse.xtext.conversion.ValueConverterException
      Throws:
      org.eclipse.xtext.conversion.ValueConverterException

    • toString

      public String toString(Integer value) throws org.eclipse.xtext.conversion.ValueConverterException
      Throws:
      org.eclipse.xtext.conversion.ValueConverterException