Record Class TrustPointSchedulerUtils.QueueElement
java.lang.Object
java.lang.Record
br.ufsc.labsec.signature.conformanceVerifier.anchor.scheduler.TrustPointSchedulerUtils.QueueElement
- Enclosing interface:
TrustPointSchedulerUtils
public static record TrustPointSchedulerUtils.QueueElement(String url, TrustPointProxy.Operation operation, Date triggerRequestTime)
extends Record
-
Constructor Summary
ConstructorsConstructorDescriptionQueueElement(String url, TrustPointProxy.Operation operation, Date triggerRequestTime) Creates an instance of aQueueElementrecord class. -
Method Summary
Modifier and TypeMethodDescriptionfinal booleanIndicates whether some other object is "equal to" this one.fromOperations(Map<String, TrustPointProxy.Operation> operations) final inthashCode()Returns a hash code value for this object.Returns the value of theoperationrecord component.final StringtoString()Returns a string representation of this record class.Returns the value of thetriggerRequestTimerecord component.url()Returns the value of theurlrecord component.
-
Constructor Details
-
QueueElement
Creates an instance of aQueueElementrecord class.- Parameters:
url- the value for theurlrecord componentoperation- the value for theoperationrecord componenttriggerRequestTime- the value for thetriggerRequestTimerecord component
-
-
Method Details
-
fromOperations
public static Set<TrustPointSchedulerUtils.QueueElement> fromOperations(Map<String, TrustPointProxy.Operation> operations) -
toString
-
hashCode
-
equals
Indicates whether some other object is "equal to" this one. The objects are equal if the other object is of the same class and if all the record components are equal. All components in this record class are compared withObjects::equals(Object,Object). -
url
Returns the value of theurlrecord component.- Returns:
- the value of the
urlrecord component
-
operation
Returns the value of theoperationrecord component.- Returns:
- the value of the
operationrecord component
-
triggerRequestTime
Returns the value of thetriggerRequestTimerecord component.- Returns:
- the value of the
triggerRequestTimerecord component
-