Package de.monticore.types.check

Class TypeCheckResult

java.lang.Object

de.monticore.types.check.TypeCheckResult

@Deprecated
public class TypeCheckResult
extends Object

Deprecated.

of no use anymore, ISynthesize/IDerive are deprecated

Wrapper class for the last result in a type check

Field Summary

Fields

Modifier and Type	Field	Description
protected boolean	field	Deprecated.
protected boolean	method	Deprecated.
protected Optional<SymTypeExpression>	result	Deprecated.
protected boolean	type	Deprecated.

Constructor Summary

Constructors

Constructor	Description
TypeCheckResult()	Deprecated.

Method Summary

Modifier and Type	Method	Description
TypeCheckResult	copy()	Deprecated.
SymTypeExpression	getResult()	Deprecated.
boolean	isField()	Deprecated.
boolean	isMethod()	Deprecated.
boolean	isPresentResult()	Deprecated.
boolean	isType()	Deprecated.
void	reset()	Deprecated.
void	setField()	Deprecated.
void	setMethod()	Deprecated.
void	setResult(SymTypeExpression result)	Deprecated.
void	setResultAbsent()	Deprecated.
void	setType()	Deprecated.
void	unsetType()	Deprecated.

Methods inherited from class java.lang.Object

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

Field Details

result

protected Optional<SymTypeExpression> result

Deprecated.

type

protected boolean type

Deprecated.

method

protected boolean method

Deprecated.

field

protected boolean field

Deprecated.

Constructor Details

TypeCheckResult

public TypeCheckResult()

Deprecated.

Method Details

getResult

public SymTypeExpression getResult()

Deprecated.

isPresentResult

public boolean isPresentResult()

Deprecated.

setResult

public void setResult(SymTypeExpression result)

Deprecated.

setResultAbsent

public void setResultAbsent()

Deprecated.

reset

public void reset()

Deprecated.

setType

public void setType()

Deprecated.

setMethod

public void setMethod()

Deprecated.

setField

public void setField()

Deprecated.

unsetType

public void unsetType()

Deprecated.

isField

public boolean isField()

Deprecated.

isMethod

public boolean isMethod()

Deprecated.

isType

public boolean isType()

Deprecated.

copy

public TypeCheckResult copy()

Deprecated.