uk.ac.man.cs.rainbow.compiler.errors
Class Errors

java.lang.Object
  |
  +--uk.ac.man.cs.rainbow.compiler.CompilerThing
        |
        +--uk.ac.man.cs.rainbow.compiler.errors.Errors

public class Errors

extends CompilerThing

Constructor Summary

Errors()

Method Summary

void	append(Errors new_error)
void	cannotReduceToConstant(SourcePosition sourcepos, String exp)
void	fatalError(SourcePosition sourcepos, String details)
void	incompatibleTypes(SourcePosition sourcepos, String context, CompilerType list)
void	incompatibleTypes(SourcePosition sourcepos, String context, CompilerType t1, CompilerType t2)
void	inputsToNetworkDontMatch(SourcePosition sourcepos, Network network, int num_inputs, int active_pipes)
void	invalidType(SourcePosition sourcepos, CompilerType spec)
String	listToString(String listSeparator)
static void	message(SourcePosition spos, String string)
void	miscError(SourcePosition sourcepos, String whats_wrong)
void	nameDeclaredTwice(SourcePosition sourcepos, Name original)
boolean	noErrors()
void	notYetImplemented(SourcePosition sourcepos, String construct, String additional_info)
void	parameterMismatch(SourcePosition sourcepos, CompilerType expectedList, CompilerType foundList, String context)
void	parseError(SourcePosition sourcepos, String details)
void	recordTypeRequired(SourcePosition sourcepos, String context, CompilerType actual_type)
void	reinitialise()
void	selectedThingNotRecord(SourcePosition sourcepos, CompilerType spec)
void	sillyBufferSize(SourcePosition sourcepos, int alleged_size)
void	systemError(SourcePosition sourcepos, String details)
void	thingNotDeclared(SourcePosition sourcepos, String sort_of_thing, Identifier id)
void	thingNotDeclared(SourcePosition sourcepos, String sort_of_thing, String name)
Compiler.SemanticError[]	toSemanticError()
String	toString()
void	typeError(SourcePosition sourcepos, String context, CompilerType expected, CompilerType found)
void	undefinedChannelType(SourcePosition sourcepos, String channel_name)
void	unexpectedThing(SourcePosition sourcepos, String context, String expected, String found)
void	warning(SourcePosition sourcepos, String details)
void	wrongChannelParity(SourcePosition sourcepos, String channel_name, boolean producer_required)
void	wrongNumThings(SourcePosition sourcepos, String sort_of_thing, int actual, int required)

Methods inherited from class uk.ac.man.cs.rainbow.compiler.CompilerThing

className, crashHere, getSerial

Methods inherited from class java.lang.Object

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

Constructor Detail

Errors

public Errors()

Method Detail

reinitialise

public void reinitialise()

toSemanticError

public Compiler.SemanticError[] toSemanticError()

noErrors

public boolean noErrors()

append

public void append(Errors new_error)

toString

public String toString()

Overrides:

toString in class Object

listToString

public String listToString(String listSeparator)

warning

public void warning(SourcePosition sourcepos,
                    String details)

fatalError

public void fatalError(SourcePosition sourcepos,
                       String details)

systemError

public void systemError(SourcePosition sourcepos,
                        String details)

parseError

public void parseError(SourcePosition sourcepos,
                       String details)

cannotReduceToConstant

public void cannotReduceToConstant(SourcePosition sourcepos,
                                   String exp)

invalidType

public void invalidType(SourcePosition sourcepos,
                        CompilerType spec)

miscError

public void miscError(SourcePosition sourcepos,
                      String whats_wrong)

nameDeclaredTwice

public void nameDeclaredTwice(SourcePosition sourcepos,
                              Name original)

notYetImplemented

public void notYetImplemented(SourcePosition sourcepos,
                              String construct,
                              String additional_info)

parameterMismatch

public void parameterMismatch(SourcePosition sourcepos,
                              CompilerType expectedList,
                              CompilerType foundList,
                              String context)

selectedThingNotRecord

public void selectedThingNotRecord(SourcePosition sourcepos,
                                   CompilerType spec)

thingNotDeclared

public void thingNotDeclared(SourcePosition sourcepos,
                             String sort_of_thing,
                             String name)

thingNotDeclared

public void thingNotDeclared(SourcePosition sourcepos,
                             String sort_of_thing,
                             Identifier id)

typeError

public void typeError(SourcePosition sourcepos,
                      String context,
                      CompilerType expected,
                      CompilerType found)

unexpectedThing

public void unexpectedThing(SourcePosition sourcepos,
                            String context,
                            String expected,
                            String found)

wrongNumThings

public void wrongNumThings(SourcePosition sourcepos,
                           String sort_of_thing,
                           int actual,
                           int required)

incompatibleTypes

public void incompatibleTypes(SourcePosition sourcepos,
                              String context,
                              CompilerType t1,
                              CompilerType t2)

incompatibleTypes

public void incompatibleTypes(SourcePosition sourcepos,
                              String context,
                              CompilerType list)

wrongChannelParity

public void wrongChannelParity(SourcePosition sourcepos,
                               String channel_name,
                               boolean producer_required)

undefinedChannelType

public void undefinedChannelType(SourcePosition sourcepos,
                                 String channel_name)

inputsToNetworkDontMatch

public void inputsToNetworkDontMatch(SourcePosition sourcepos,
                                     Network network,
                                     int num_inputs,
                                     int active_pipes)

recordTypeRequired

public void recordTypeRequired(SourcePosition sourcepos,
                               String context,
                               CompilerType actual_type)

sillyBufferSize

public void sillyBufferSize(SourcePosition sourcepos,
                            int alleged_size)

message

public static void message(SourcePosition spos,
                           String string)