Package org.bigraphs.framework.core.impl.elementary

Class Linkings<S extends AbstractEcoreSignature<? extends Control<?,?>>>

java.lang.Object

org.bigraphs.framework.core.impl.elementary.Linkings<S>

Type Parameters:

S - type of the signature

All Implemented Interfaces:

Serializable

public class Linkings<S extends AbstractEcoreSignature<? extends Control<?,?>>>
extends Object
implements Serializable

A linking is a node-free bigraph.

Author:

Dominik Grzelak

See Also:

• Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
class	Linkings.Closure
class	Linkings.Identity
class	Linkings.IdentityEmpty
class	Linkings.Substitution

Constructor Summary

Constructors

Constructor	Description
Linkings(SignatureBuilder signatureBuilder)
Linkings(S signature)
Linkings(S signature, EMetaModelData metaModelData)
Linkings(S signature, org.eclipse.emf.ecore.EPackage bigraphMetaModel)

Method Summary

Modifier and Type	Method	Description
Linkings<DefaultDynamicSignature>.Closure	closure(String name)
Linkings<S>.Closure	closure(Set<NamedType<?>> names)
Linkings<S>.Closure	closure(NamedType<?> name)
org.eclipse.emf.ecore.EPackage	getLoadedModelPackage()
Linkings<S>.Identity	identity(String name)
Linkings<S>.Identity	identity(String... nameSet)
Linkings<S>.Identity	identity(NamedType<?> name)
Linkings<S>.Identity	identity(NamedType<?>... nameSet)	Creates an identity link graph from a given name set.
Linkings<S>.IdentityEmpty	identity_e()	Constructs an empty "identity" link graph.
Linkings<S>.Substitution	substitution(String nameOuter, String... nameInner)
Linkings<S>.Substitution	substitution(NamedType<?> nameOuter, List<NamedType<?>> nameInner)
Linkings<S>.Substitution	substitution(NamedType<?> nameOuter, NamedType<?>... nameInner)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

Linkings

public Linkings(S signature)

Linkings

public Linkings(S signature,
 EMetaModelData metaModelData)

Linkings

public Linkings(S signature,
 org.eclipse.emf.ecore.EPackage bigraphMetaModel)

Linkings

public Linkings(SignatureBuilder signatureBuilder)

Parameters:

signatureBuilder - to create an empty signature of the appropriate type for working with user-defined bigraphs of the same type created with the same factory

Method Details

closure

public Linkings<S>.Closure closure(NamedType<?> name)

closure

public Linkings<DefaultDynamicSignature>.Closure closure(String name)

closure

public Linkings<S>.Closure closure(Set<NamedType<?>> names)

substitution

public Linkings<S>.Substitution substitution(NamedType<?> nameOuter,
 NamedType<?>... nameInner)

substitution

public Linkings<S>.Substitution substitution(String nameOuter,
 String... nameInner)

substitution

public Linkings<S>.Substitution substitution(NamedType<?> nameOuter,
 List<NamedType<?>> nameInner)

identity

public Linkings<S>.Identity identity(NamedType<?> name)

identity

public Linkings<S>.Identity identity(String name)

identity

public Linkings<S>.Identity identity(NamedType<?>... nameSet)

Creates an identity link graph from a given name set. Is also a renaming - a bijective substitution.

Parameters:

nameSet - name setl

Returns:

the identity link graph created from the given name set

identity

public Linkings<S>.Identity identity(String... nameSet)

identity_e

public Linkings<S>.IdentityEmpty identity_e()

Constructs an empty "identity" link graph.

Returns:

an empty link graph of type Linkings<S extends AbstractEcoreSignature<? extends Control<?,?>>>.IdentityEmpty.

getLoadedModelPackage

public org.eclipse.emf.ecore.EPackage getLoadedModelPackage()