Exemplos de TOP.o em Java

Exemplo n.º 1

Arquivo: P_InvokeStaticPojoMethod.java Projeto: AvailLang/Avail

 @Override
 protected A_Type privateBlockTypeRestriction() {
   return FunctionTypeDescriptor.create(
       TupleDescriptor.from(
           RAW_POJO.o(),
           TupleTypeDescriptor.mostGeneralType(),
           TupleTypeDescriptor.zeroOrMoreOf(RAW_POJO.o()),
           InstanceMetaDescriptor.topMeta()),
       TOP.o());
 }

Exemplo n.º 2

Arquivo: P_SocketSetOption.java Projeto: AvailLang/Avail

 @Override
 protected A_Type privateBlockTypeRestriction() {
   return FunctionTypeDescriptor.create(
       TupleDescriptor.from(
           ATOM.o(),
           MapTypeDescriptor.mapTypeForSizesKeyTypeValueType(
               IntegerRangeTypeDescriptor.inclusive(
                   IntegerDescriptor.zero(), IntegerDescriptor.fromInt(socketOptions.length - 1)),
               IntegerRangeTypeDescriptor.inclusive(
                   IntegerDescriptor.one(), IntegerDescriptor.fromInt(socketOptions.length - 1)),
               ANY.o())),
       TOP.o());
 }