From 9d7673ebf2b1716bd2e0d760a85ff3b68155ce08 Mon Sep 17 00:00:00 2001 From: atusa17 Date: Sun, 3 Mar 2019 18:36:14 -0700 Subject: [PATCH] PAN-50 Created the DTO for theorems --- .../msudenver/tsp/persistence/dto/TheoremDto.java | 15 +++++++++++++++ .../tsp/persistence/dto/TheoremType.java | 5 +++++ 2 files changed, 20 insertions(+) create mode 100644 persistence/src/main/java/edu/msudenver/tsp/persistence/dto/TheoremType.java diff --git a/persistence/src/main/java/edu/msudenver/tsp/persistence/dto/TheoremDto.java b/persistence/src/main/java/edu/msudenver/tsp/persistence/dto/TheoremDto.java index 0761432..36be47a 100644 --- a/persistence/src/main/java/edu/msudenver/tsp/persistence/dto/TheoremDto.java +++ b/persistence/src/main/java/edu/msudenver/tsp/persistence/dto/TheoremDto.java @@ -1,4 +1,19 @@ package edu.msudenver.tsp.persistence.dto; +import com.fasterxml.jackson.annotation.JsonProperty; +import org.hibernate.annotations.Type; + +import javax.persistence.Column; +import javax.validation.constraints.NotBlank; +import javax.validation.constraints.NotNull; +import javax.validation.constraints.Size; +import java.util.List; + public class TheoremDto extends BaseDto { + @NotBlank @Size(min = 1, max = 512, message = "theorem name must be between 1 and 512 characters") private String name; + @NotNull @JsonProperty("theorem_type") private TheoremType theoremType; + @NotNull private String branch; + @Type(type = "json") @Column(columnDefinition = "jsonb") @JsonProperty("referenced_definitions") private List referencedDefinitions; + @Type(type = "json") @Column(columnDefinition = "jsonb") @JsonProperty("referenced_theorems") private List referencedTheorems; + @NotNull @JsonProperty("proven_status") private boolean provenStatus; } diff --git a/persistence/src/main/java/edu/msudenver/tsp/persistence/dto/TheoremType.java b/persistence/src/main/java/edu/msudenver/tsp/persistence/dto/TheoremType.java new file mode 100644 index 0000000..c69b4e7 --- /dev/null +++ b/persistence/src/main/java/edu/msudenver/tsp/persistence/dto/TheoremType.java @@ -0,0 +1,5 @@ +package edu.msudenver.tsp.persistence.dto; + +public enum TheoremType { + THEOREM, PROPOSITION, LEMMA, COROLLARY +}