Package astra.statement

Class ScopedSubgoal

java.lang.Object

astra.core.AbstractElement

astra.statement.AbstractStatement

astra.statement.ScopedSubgoal

All Implemented Interfaces:

Statement

public class ScopedSubgoal
extends AbstractStatement

Constructor Summary

Constructors

Constructor	Description
ScopedSubgoal(String clazz, int[] data, String scope, Goal goal)
ScopedSubgoal(String scope, Goal goal)

Method Summary

Modifier and Type	Method	Description
StatementHandler	getStatementHandler()

Methods inherited from class astra.core.AbstractElement

beginLine, endLine, getASTRAClass, isLinkedToSource, setLocation

Methods inherited from class java.lang.Object

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

Methods inherited from interface astra.statement.Statement

beginLine, endLine, getASTRAClass, isLinkedToSource

Constructor Details

ScopedSubgoal

public ScopedSubgoal(String scope, Goal goal)

ScopedSubgoal

public ScopedSubgoal(String clazz, int[] data, String scope, Goal goal)

Method Details

getStatementHandler

public StatementHandler getStatementHandler()