apollo-backend/eu.yeger.apollo.shared.model.api

Package-level declarations

Types

data class ApiEdge(val source: String, val target: String, val relations: List<String>, val functions: List<String>)

Represents an edge between to nodes of an ApiGraph.

data class ApiGraph(val nodes: List<ApiNode>, val edges: List<ApiEdge>)

Represents a graph consisting of ApiNodes and ApiEdges.

data class ApiNode(val name: String, val relations: List<String>, val constants: List<String>)

Represents a node of an ApiGraph.

Result that either contains a ResponseEntity with the given type or a ResponseEntity containing a TranslationDTO for error messages.

data class ApiToken(val token: String, val expiryDate: Long)

Represents the feedback-selection of a ModelChecking request.

data class ResponseEntity<T : Any>(val status: HttpStatusCode, val data: T)

data class TranslationDTO(val key: String, val params: Map<String, String>? = null)

Data transfer object for translations with optional parameters.

Attempts to create a domain Graph from an ApiGraph or returns an error if it is invalid.