Examples of com.google.java.contract.core.model.TypeName

Package com.google.java.contract.core.model

Examples of com.google.java.contract.core.model.TypeName

com.google.java.contract.core.model.TypeName
A type name, as it is used in source files. @author nhat.minh.le@huoc.org (Nhat Minh Lê)

  private ContractAnnotationModel createBlankContractModel(Element parent,
      AnnotationMirror annotation, boolean primary, ClassName owner) {
    ElementKind kind = utils.getAnnotationKindForName(annotation);


    boolean virtual;
    TypeName returnType;
    switch (parent.getKind()) {
      default:
        virtual =
            parent.getKind()
            != javax.lang.model.element.ElementKind.INTERFACE;

View Full Code Here

  @Requires({
    "method != null",
    "!method.isConstructor()"
  })
  private void appendNormalMethodCode(MethodModel method) {
    TypeName returnType = method.getReturnType();
    if (!returnType.getDeclaredName().equals("void")) {
      append("return ");
      append(getDefaultValue(returnType));
      append(";");
    }
  }

View Full Code Here

    String name = kind.getNameSpace() + getContractName(kind, contracted);
    if (nameSuffix != null) {
      name += nameSuffix;
    }
    ContractMethodModel contract =
        new ContractMethodModel(kind, name, new TypeName("void"), contracted);


    contract.addModifier(ElementModifier.PRIVATE);
    type.addMember(contract);


    return contract;

View Full Code Here

    MethodModel contracted = null;
    if (kind.isMethodContract()) {
      contracted = (MethodModel) annotation.getEnclosingElement();
    }


    TypeName returnType = new TypeName("void");
    String name = getHelperName(kind, annotation.getOwner(), contracted);
    if (nameSuffix != null) {
      name += nameSuffix;
    }
    if (annotation.isPrimary()) {

View Full Code Here

  static MethodModel createContractHelper(ContractCreationTrait trait,
                                          ContractAnnotationModel annotation) {
    ContractKind kind = getContractKind(annotation);
    MethodModel method = createBlankContractHelper(kind, annotation, null);


    TypeName returnType =
        new TypeName(kind.getVariance() == ContractVariance.CONTRAVARIANT
                     ? trait.getExceptionName()
                     : "void");
    method.setReturnType(returnType);


    if (kind.getVariance() == ContractVariance.CONTRAVARIANT) {

View Full Code Here

  TypeName getTypeNameForType(TypeMirror type) {
    switch (type.getKind()) {
      case NONE:
        return null;
      default:
        return new TypeName(type.toString());
    }
  }

View Full Code Here

    String name = element.getSimpleName().toString();
    List<? extends TypeMirror> bounds = element.getBounds();
    if (bounds.isEmpty()
        || (bounds.size() == 1
            && bounds.get(0).toString().equals("java.lang.Object"))) {
      return new TypeName(name);
    }


    StringBuilder buffer = new StringBuilder();
    buffer.append(name);
    buffer.append(" extends ");


    Iterator<? extends TypeMirror> iter = bounds.iterator();
    for (;;) {
      buffer.append(iter.next().toString());
      if (!iter.hasNext()) {
        break;
      }
      buffer.append(" & ");
    }


    return new TypeName(buffer.toString());
  }

View Full Code Here

TOP

Related Classes of com.google.java.contract.core.model.TypeName

com.google.java.contract.core.apt.AbstractTypeBuilder

com.google.java.contract.core.apt.ContractCreation

com.google.java.contract.core.apt.ContractWriter

com.google.java.contract.core.apt.FactoryUtils

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.