When errors are detected in a model the Bio-PEPA Eclipse Plug-in highlights these in the editor. For example, suppose we forget to type the termination semicolon (;) at the end of definition statement(see Figure 15):
When errors are detected in a model they are displayed in the Eclipse Problems view. This lists errors and warnings and information messages which are associated with the resources in the Eclipse workspace (such as, in our case, Bio-PEPA models). The resource which has the associated problem is identified in the resource column and a diagnostic error message appears in the description column. Here we are informed that the editor was expecting a semicolon at the end of the statement (see Figure 16):