PreviousResultId

case class PreviousResultId(uri: DocumentUri, value: String)

A previous result id in a workspace pull request.

Value parameters:
uri

The URI for which the client knows a result id.

value

The value of the previous result id.

Since:

3.17.0

Companion:
object
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Inherited methods

def productElementNames: Iterator[String]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product