presto-main/src/main/java/io/prestosql/sql/planner/plan/TopNRowNumberNode.java/TopNRowNumberNode/getSpecification
class TopNRowNumberNode:    @JsonProperty
    public Specification getSpecification()
    {
        return specification;
    }