モジュール jdk.dynalink
パッケージ jdk.dynalink

クラスNamespaceOperation

java.lang.Object
jdk.dynalink.NamespaceOperation
すべての実装されたインタフェース:
Operation

public final class NamespaceOperation extends Object implements Operation
オブジェクトの少なくとも1つのNamespaceを操作する操作について説明します。 たとえば、プロパティ・ゲッターは次のように記述されます。
 Operation propertyGetter = new NamespaceOperation(
     StandardOperation.GET,
     StandardNamespace.PROPERTY);
 
それらはしばしばNamedOperationと組み合わされます。たとえば、"color"というプロパティのプロパティ・ゲッターを表現するには、次のようにします:
 Operation colorPropertyGetter = new NamedOperation(
     new NamespaceOperation(
         StandardOperation.GET,
         StandardNamespace.PROPERTY),
     "color");
 

NamespaceOperationは直接構築できますが、Operation.withNamespace(Namespace)およびOperation.withNamespaces(Namespace...)ファクトリ・メソッドをかわりに使用すると便利です。次に例を示します:

 Operation getElementOrPropertyEmpty =
     StandardOperation.GET
         .withNamespace(StandardNamespace.PROPERTY)
         .named("color");
 

複数の名前空間に対する操作

複数の名前空間が指定されている場合、その名前空間は優先順に互いに代替として扱われます。 そのような操作のセマンティクスは"最初に適用可能"です。 つまり、GET:PROPERTY|ELEMENT:colorのコンポジットは、「オブジェクトで"color"という名前のプロパティを取得しますが、プロパティが存在しない場合は、かわりに"color"という名前のコレクション要素を取得」と解釈されます。

複数のネームスペースを使用する操作は、1つ以上のネームスペースを区別しない言語の実装、または通常のオブジェクトとコレクションの両方とみなすことができるオブジェクト(Java Mapオブジェクトなど)に対する操作を表現する際に役立ちます。 Javaマップに対するGET:PROPERTY|ELEMENT:empty操作は、常にMap.isEmpty()プロパティと一致しますが、マップにそのキーが含まれている場合は、GET:ELEMENT|PROPERTY:emptyは実際にはキー"empty"を持つマップ要素と一致し、マップにキーが含まれていない場合は、isEmpty()プロパティ・ゲッターにのみフォールバックします。 ソース言語でこのセマンティクスが義務付けられている場合、複数のネームスペースに対する操作を使用して簡単に実現できます。

言語自体が一部のネームスペースを区別しない場合でも、異なる構文を異なるネームスペースの順序にマップすると便利です。 たとえば、ソース式obj.colorGET:PROPERTY|ELEMENT|METHOD:colorにマップできますが、コレクション要素アクセスobj[key]のように見える別のソース式は、要素のセマンティクスを優先するために、かわりにGET:ELEMENT|PROPERTY|METHODとして表すことができます。 最後に、取得した値が後でコールされる場合は、METHODをネームスペース・リストの先頭に置くことが理にかなっています: ソース式のobj.color()のゲッタ部分はGET:METHOD|PROPERTY|ELEMENT:colorとすることができ、obj[key]()のゲッタ部分はGET:METHOD|ELEMENT|PROPERTYとすることができます。

ネームスペース操作の基本操作は、それ自体をネームスペースまたは名前付き操作にすることはできませんが、StandardOperationの要素などの単純な操作の1つです。 ネームスペース操作自体は、名前付き操作のベース操作として機能します。たとえば、前述のGET:ELEMENT|PROPERTY:emptyは、次のようになります:

 Operation getElementOrPropertyEmpty = StandardOperation.GET
     .withNamespaces(
         StandardNamespace.ELEMENT,
         StandardNamespace.PROPERTY)
     .named("empty");
 

導入されたバージョン:
9