Added Header. It is the only property must have the Header so we can

monitor when the class has been created/modified and who did it
This commit is contained in:
Luca Frosini 2019-11-05 18:42:02 +01:00
parent 770155d5c5
commit 714ec5dcae
1 changed files with 7 additions and 0 deletions

View File

@ -2,7 +2,9 @@ package org.gcube.informationsystem.types.reference.properties;
import java.util.Set;
import org.gcube.informationsystem.base.reference.ER;
import org.gcube.informationsystem.base.reference.properties.BaseProperty;
import org.gcube.informationsystem.base.reference.properties.Header;
import org.gcube.informationsystem.types.annotations.ISProperty;
import org.gcube.informationsystem.types.impl.properties.PropertyTypeDefinitionImpl;
import org.gcube.informationsystem.types.reference.TypeDefinition;
@ -16,6 +18,11 @@ public interface PropertyTypeDefinition<P extends BaseProperty> extends TypeDefi
public static final String NAME = "PropertyTypeDefinition"; // PropertyTypeDefinition.class.getSimpleName();
@ISProperty(name=ER.HEADER_PROPERTY, mandatory=true, nullable=false)
public Header getHeader();
public void setHeader(Header header);
/* TypeDefinition is just a Java useful class. The type is not created in the IS. Hence the fields must be redefined */
@Override