// Path: situation-model/src/main/java/br/ufes/inf/lprm/situation/model/bindings/Part.java
// public interface Part extends Bind {
//     public boolean isKey();
// }
// 
// Path: situation-model/src/main/java/br/ufes/inf/lprm/situation/model/bindings/Snapshot.java
// public interface Snapshot extends Bind {
// 
//     public SnapshotPolicy getPolicy();
// 
// }


import br.ufes.inf.lprm.situation.model.bindings.Part;
import br.ufes.inf.lprm.situation.model.bindings.Snapshot;
import java.lang.reflect.Type;
import java.util.List;
package br.ufes.inf.lprm.situation.model;



public interface SituationType extends Type {
    public String getName();
    public List<? extends Part> getParts();
    //public List<Bind> getBinds();
// Path: situation-model/src/main/java/br/ufes/inf/lprm/situation/model/bindings/Part.java
// public interface Part extends Bind {
//     public boolean isKey();
// }
// 
// Path: situation-model/src/main/java/br/ufes/inf/lprm/situation/model/bindings/Snapshot.java
// public interface Snapshot extends Bind {
// 
//     public SnapshotPolicy getPolicy();
// 
// }


// Path: situation-model/src/main/java/br/ufes/inf/lprm/situation/model/SituationType.java
import br.ufes.inf.lprm.situation.model.bindings.Part;
import br.ufes.inf.lprm.situation.model.bindings.Snapshot;
import java.lang.reflect.Type;
import java.util.List;

package br.ufes.inf.lprm.situation.model;



public interface SituationType extends Type {
    public String getName();
    public List<? extends Part> getParts();
    //public List<Bind> getBinds();
    public List<? extends Snapshot> getSnapshots();