Java InstanceMetaDescriptor示例

示例#1

文件： P_InvokeStaticPojoMethod.java 项目： 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());
 }

示例#2

文件： P_MapToObjectType.java 项目： AvailLang/Avail

 @Override
 protected A_Type privateBlockTypeRestriction() {
   return FunctionTypeDescriptor.create(
       TupleDescriptor.from(
           MapTypeDescriptor.mapTypeForSizesKeyTypeValueType(
               IntegerRangeTypeDescriptor.wholeNumbers(),
               ATOM.o(),
               InstanceMetaDescriptor.anyMeta())),
       ObjectTypeDescriptor.meta());
 }

示例#3

文件： P_TypeIntersection.java 项目： AvailLang/Avail

 @Override
 protected A_Type privateBlockTypeRestriction() {
   return FunctionTypeDescriptor.create(
       TupleDescriptor.from(InstanceMetaDescriptor.topMeta(), InstanceMetaDescriptor.topMeta()),
       InstanceMetaDescriptor.topMeta());
 }