Searched refs:doublePatternConstant (Results 1 – 1 of 1) sorted by relevance
399 DoubleConstant doublePatternConstant = (DoubleConstant)patternConstant; in visitDoubleConstant() local403 doublePatternConstant.getValue(); in visitDoubleConstant()