From ca8dc5c5df7f3fb9bf13761b17e18e32b6a5a75e Mon Sep 17 00:00:00 2001 From: atusa17 Date: Sun, 3 Mar 2019 18:38:29 -0700 Subject: [PATCH] PAN-50 Created the DTO for theorems --- .../tsp/persistence/dto/TheoremDto.java | 16 +++++++++++++++- 1 file changed, 15 insertions(+), 1 deletion(-) 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 36be47a..75c22cc 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,19 +1,33 @@ package edu.msudenver.tsp.persistence.dto; import com.fasterxml.jackson.annotation.JsonProperty; +import lombok.Data; +import lombok.EqualsAndHashCode; import org.hibernate.annotations.Type; +import org.springframework.data.jpa.domain.support.AuditingEntityListener; import javax.persistence.Column; +import javax.persistence.Entity; +import javax.persistence.EntityListeners; +import javax.persistence.Table; import javax.validation.constraints.NotBlank; import javax.validation.constraints.NotNull; import javax.validation.constraints.Size; +import java.io.Serializable; import java.util.List; -public class TheoremDto extends BaseDto { +@Entity(name = "theorems") +@Table(name = "theorems") +@EntityListeners(AuditingEntityListener.class) +@Data +@EqualsAndHashCode(callSuper = true) +public class TheoremDto extends BaseDto implements Serializable { @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; + + public static final long serialVersionUID = 1545568391140364425L; }