Examples of SemanticType

edu.isi.karma.rep.alignment.SemanticType
edu.pitt.terminology.lexicon.SemanticType
This class describes a sematic type of a concept @author tseytlin
edu.ucla.sspace.beagle.Beagle.SemanticType
org.opengis.style.SemanticType
eospatial.org/standards/symbol">Symbology Encoding Implementation Specification 1.1.0 @author Open Geospatial Consortium @author Johann Sorel (Geomatys) @since GeoAPI 2.2
wycs.core.SemanticType

Examples of wycs.core.SemanticType

      HashMap<String, SemanticType> environment,
      HashSet<String> generics, WyalFile.Context context) {
    environment = new HashMap<String,SemanticType>(environment);


    propagate(e.pattern,environment,generics,context);
    SemanticType r = propagate(e.operand,environment,generics,context);
    checkIsSubtype(SemanticType.Bool,r,e.operand);


    return SemanticType.Bool;
  }

View Full Code Here

Examples of wycs.core.SemanticType

  }


  private void propagate(TypePattern pattern,
      HashMap<String, SemanticType> environment,
      HashSet<String> generics, WyalFile.Context context) {
    SemanticType type = builder.convert(pattern.toSyntacticType(),
        generics, context);


    if (pattern instanceof TypePattern.Tuple) {
      TypePattern.Tuple tt = (TypePattern.Tuple) pattern;
      for (TypePattern p : tt.elements) {

View Full Code Here

Examples of wycs.core.SemanticType

              + e.generics.size() + ", required "
              + fn_generics.length + ")", context.file()
              .filename(), e);
    }


    SemanticType argument = propagate(e.operand, environment, generics,
        context);
    HashMap<String, SemanticType> binding = new HashMap<String, SemanticType>();


    for (int i = 0; i != e.generics.size(); ++i) {
      SemanticType.Var gv = (SemanticType.Var) fn_generics[i];

View Full Code Here

Examples of wycs.core.SemanticType

   *
   * @param e
   * @return
   */
  public static SemanticType returnType(Expr e) {
    SemanticType type = e.attribute(TypeAttribute.class).type;
    if (e instanceof Expr.Variable || e instanceof Expr.Constant
        || e instanceof Expr.Quantifier) {
      return type;
    } else if(e instanceof Expr.Unary) {
      Expr.Unary ue = (Expr.Unary) e;

View Full Code Here

0 1 2 3 4

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.