Package astra.core

Class Fragment

java.lang.Object

astra.core.Fragment

public class Fragment
extends Object

Constructor Summary

Constructors

Constructor	Description
Fragment(ASTRAClass clazz)

Method Summary

Modifier and Type	Method	Description
void	addModule(String name, Class<?> cls, Agent agent)
void	addModule(String name, Class<?> cls, Term[] params, Agent agent)
void	addModule(String name, String urn, Agent agent)
ASTRAClass	getASTRAClass()
List<ASTRAClass>	getLinearization()
List<Formula>	getMatchingFormulae(Formula predicate)
Module	getModule(String key)

Methods inherited from class java.lang.Object

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

Constructor Details

Fragment

public Fragment(ASTRAClass clazz) throws ASTRAClassNotFoundException

Throws:

ASTRAClassNotFoundException

Method Details

getLinearization

public List<ASTRAClass> getLinearization()

addModule

public void addModule(String name, Class<?> cls, Agent agent)

addModule

public void addModule(String name, Class<?> cls, Term[] params, Agent agent)

addModule

public void addModule(String name, String urn, Agent agent)

getASTRAClass

public ASTRAClass getASTRAClass()

getModule

public Module getModule(String key)

getMatchingFormulae

public List<Formula> getMatchingFormulae(Formula predicate)