/****************************************************************************** * Copyright (c) 2016 Oracle * All rights reserved. This program and the accompanying materials * are made available under the terms of the Eclipse Public License v1.0 * which accompanies this distribution, and is available at * http://www.eclipse.org/legal/epl-v10.html * * Contributors: * Konstantin Komissarchik - initial implementation and ongoing maintenance ******************************************************************************/ package org.eclipse.sapphire.samples.address; import org.eclipse.sapphire.Collation; import org.eclipse.sapphire.Element; import org.eclipse.sapphire.ElementType; import org.eclipse.sapphire.Value; import org.eclipse.sapphire.ValueProperty; import org.eclipse.sapphire.modeling.annotations.Label; import org.eclipse.sapphire.modeling.annotations.Required; import org.eclipse.sapphire.modeling.annotations.Service; /** * @author <a href="mailto:konstantin.komissarchik@oracle.com">Konstantin Komissarchik</a> */ public interface Address extends Element { ElementType TYPE = new ElementType( Address.class ); // *** Street *** @Label( standard = "street" ) @Required ValueProperty PROP_STREET = new ValueProperty( TYPE, "Street" ); Value<String> getStreet(); void setStreet( String street ); // *** City *** @Label( standard = "city" ) @Required @Collation( ignoreCaseDifferences = "true" ) @Service( impl = CityPossibleValuesService.class ) ValueProperty PROP_CITY = new ValueProperty( TYPE, "City" ); Value<String> getCity(); void setCity( String city ); // *** State *** @Label( standard = "state" ) @Required @Collation( ignoreCaseDifferences = "true" ) @Service( impl = StatePossibleValuesService.class ) ValueProperty PROP_STATE = new ValueProperty( TYPE, "State" ); Value<String> getState(); void setState( String state ); // *** ZipCode *** @Label( standard = "ZIP code" ) @Required @Service( impl = ZipCodePossibleValuesService.class ) ValueProperty PROP_ZIP_CODE = new ValueProperty( TYPE, "ZipCode" ); Value<String> getZipCode(); void setZipCode( String zipCode ); }