Java TupleDescriptorの例

コード例 #1

ファイル: P_SetIntersection.java プロジェクト: AvailLang/Avail

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

コード例 #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_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());
 }

コード例 #4

ファイル: P_SocketSetOption.java プロジェクト: 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());
 }

コード例 #5

ファイル: P_TypeIntersection.java プロジェクト: AvailLang/Avail

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

コード例 #6

ファイル: P_AtomHasProperty.java プロジェクト: AvailLang/Avail

 @Override
 protected A_Type privateBlockTypeRestriction() {
   return FunctionTypeDescriptor.create(
       TupleDescriptor.from(ATOM.o(), ATOM.o()), EnumerationTypeDescriptor.booleanObject());
 }

コード例 #7

ファイル: P_BundleParametersCount.java プロジェクト: AvailLang/Avail

 @Override
 protected A_Type privateBlockTypeRestriction() {
   return FunctionTypeDescriptor.create(
       TupleDescriptor.from(MESSAGE_BUNDLE.o()), IntegerRangeTypeDescriptor.wholeNumbers());
 }

コード例 #8

ファイル: P_CreateLiteralExpression.java プロジェクト: AvailLang/Avail

 @Override
 protected A_Type privateBlockTypeRestriction() {
   return FunctionTypeDescriptor.create(
       TupleDescriptor.from(LiteralTokenTypeDescriptor.mostGeneralType()),
       LITERAL_NODE.mostGeneralType());
 }

コード例 #9

ファイル: P_Serialize.java プロジェクト: AvailLang/Avail

 @Override
 protected A_Type privateBlockTypeRestriction() {
   return FunctionTypeDescriptor.create(
       TupleDescriptor.from(ANY.o()),
       TupleTypeDescriptor.oneOrMoreOf(IntegerRangeTypeDescriptor.bytes()));
 }