Check for error in regular expressions from string literals

Introduced classes

private class RegexPhase

nitc :: RegexPhase

private class RegexVisitor

nitc :: RegexVisitor

Redefined classes

redef class ACallExpr

nitc :: regex_phase $ ACallExpr

A call with a standard method-name and any number of arguments. eg x.m(y). OR just a simple id

redef abstract class ANode

nitc :: regex_phase $ ANode

Root of the AST class-hierarchy

redef class ToolContext

nitc :: regex_phase $ ToolContext

Global context for tools

All class definitions

redef class ACallExpr

nitc :: regex_phase $ ACallExpr

A call with a standard method-name and any number of arguments. eg x.m(y). OR just a simple id

redef abstract class ANode

nitc :: regex_phase $ ANode

Root of the AST class-hierarchy

private class RegexPhase

nitc $ RegexPhase

private class RegexVisitor

nitc $ RegexVisitor

redef class ToolContext

nitc :: regex_phase $ ToolContext

Global context for tools

Ancestors

module abstract_collection

core :: abstract_collection

Abstract collection classes and services.

module abstract_text

core :: abstract_text

Abstract class for manipulation of sequences of characters

module annotation

nitc :: annotation

Management and utilities on annotations

module array

This module introduces the standard array structure.

module bitset

Services to handle BitSet

module bytes

Services for byte streams and arrays

module caching

serialization :: caching

Services for caching serialization engines

module circular_array

core :: circular_array

Efficient data structure to access both end of the sequence.

module codec_base

core :: codec_base

Base for codecs to use with streams

module codecs

Group module for all codec-related manipulations

module collection

core :: collection

This module define several collection classes.

module console

console :: console

Defines some ANSI Terminal Control Escape Sequences.

module core

Standard classes and methods used by default by Nit programs and libraries.

module digraph

graph :: digraph

Implementation of directed graphs, also called digraphs.

module engine_tools

serialization :: engine_tools

Advanced services for serialization engines

module environ

core :: environ

Access to the environment variables of the process

module error

Standard error-management infrastructure.

module exec

Invocation and management of operating system sub-processes.

module file

File manipulations (create, read, write, etc.)

module fixed_ints

core :: fixed_ints

Basic integers of fixed-precision

module fixed_ints_text

core :: fixed_ints_text

Text services to complement fixed_ints

module flat

All the array-based text representations

module gc

Access to the Nit internal garbage collection mechanism

module hash_collection

core :: hash_collection

Introduce HashMap and HashSet.

module ini

Read and write INI configuration files

module inspect

serialization :: inspect

Refine Serializable::inspect to show more useful information

module iso8859_1

core :: iso8859_1

Codec for ISO8859-1 I/O

module kernel

Most basic classes and methods.

module lexer

Lexer and its tokens.

module lexer_work

nitc :: lexer_work

Internal algorithm and data structures for the Nit lexer

module list

This module handle double linked lists

module literal

nitc :: literal

Parsing of literal values in the abstract syntax tree.

module loader

Loading of Nit source files

module location

nitc :: location

Nit source-file and locations in source-file

module math

Mathematical operations

module mdoc

Documentation of model entities

module meta

Simple user-defined meta-level to manipulate types of instances as object.

module mmodule

nitc :: mmodule

modules and module hierarchies in the metamodel

module mmodule_data

nitc :: mmodule_data

Define and retrieve data in modules

module model

Classes, types and properties

module model_base

nitc :: model_base

The abstract concept of model and related common things

module modelbuilder

nitc :: modelbuilder

module modelbuilder_base

nitc :: modelbuilder_base

Load nit source files and build the associated model

module modelize_class

nitc :: modelize_class

Analysis and verification of class definitions to instantiate model element

module modelize_property

nitc :: modelize_property

Analysis and verification of property definitions to instantiate model element

module more_collections

more_collections :: more_collections

Highly specific, but useful, collections-related classes.

module mpackage

nitc :: mpackage

Modelisation of a Nit package

module native

Native structures for text and bytes

module nitpm_shared

nitc :: nitpm_shared

Services related to the Nit package manager

module numeric

core :: numeric

Advanced services for Numeric types

module opts

Management of options on the command line

module ordered_tree

ordered_tree :: ordered_tree

Manipulation and presentation of ordered trees.

module parser

Parser.

module parser_nodes

nitc :: parser_nodes

AST nodes of the Nit language

module parser_prod

nitc :: parser_prod

Production AST nodes full definition.

module parser_work

nitc :: parser_work

Internal algorithm and data structures for the Nit parser

module phase

Phases of the processing of nit programs

module poset

Pre order sets and partial order set (ie hierarchies)

module protocol

core :: protocol

module queue

Queuing data structures and wrappers

module range

Module for range of discrete objects.

module re

Regular expression support for all services based on Pattern

module ropes

Tree-based representation of a String.

module serialization

serialization :: serialization

General serialization services

module serialization_core

serialization :: serialization_core

Abstract services to serialize Nit objects to different formats

module sorter

This module contains classes used to compare things and sorts arrays.

module stream

Input and output streams of characters

module string_search

core :: string_search

Basic string search, match and replace.

module tables

Module that interfaces the parsing tables.

module template

template :: template

Basic template system

module text

All the classes and methods related to the manipulation of text entities

module time

Management of time and dates

module toolcontext

nitc :: toolcontext

Common command-line tool infrastructure than handle options and error messages

module union_find

core :: union_find

union–find algorithm using an efficient disjoint-set data structure

module utf8

Codec for UTF-8 I/O

module version

nitc :: version

This file was generated by git-gen-version.sh

Parents

module modelize

nitc :: modelize

Create a model from nit source files

module parser_util

nitc :: parser_util

Utils and tools related to parsers and AST

Children

module frontend

nitc :: frontend

Collect and orchestration of main frontend phases

Descendants

module a_star-m

module api

Components required to build a web server about the nit model.

module api_auth

nitc :: api_auth

module api_base

nitc :: api_base

Base classes used by nitweb.

module api_docdown

nitc :: api_docdown

Nitdoc specific Markdown format handling for Nitweb

module api_feedback

nitc :: api_feedback

Feedback related features

module api_light

nitc :: api_light

Highlight and collect messages from a piece of code

module api_metrics

nitc :: api_metrics

module api_model

nitc :: api_model

module code_gen

nitc :: code_gen

Main frontend phases plus code generation phases

module codesmells_metrics

nitc :: codesmells_metrics

module commands_docdown

nitc :: commands_docdown

Doc down related queries

module highlight

nitc :: highlight

Highlighting of Nit AST

module html_commands

nitc :: html_commands

Render commands results as HTML

module html_model

nitc :: html_model

Translate mentities to html blocks.

module htmlight

nitc :: htmlight

Highlighting of Nit AST with HTML

module java_compiler

nitc :: java_compiler

Compile Nit code to Java code

module json_commands

nitc :: json_commands

Translate command results to json

module json_model

nitc :: json_model

Make model entities Serializable.

module mclassdef_collect

nitc :: mclassdef_collect

module md_commands

nitc :: md_commands

Render commands results as Markdown

module method_analyze_metrics

nitc :: method_analyze_metrics

module nit

A naive Nit interpreter

module nitc

A Nit compiler

module nitcatalog

nitc :: nitcatalog

Basic catalog generator for Nit packages

module nitdoc

Generator of static API documentation for the Nit language

module nitj

Compile Nit into Java code runnable on the Java Virtual Machine.

module nitlight

nitc :: nitlight

Tool that produces highlighting for Nit programs

module nitmetrics

nitc :: nitmetrics

A program that collects various metrics on nit programs and libraries

module nitpackage

nitc :: nitpackage

Helpful features about packages

module nitpick

nitc :: nitpick

A program that collect potential style and code issues

module nitrestful

nitc :: nitrestful

Tool generating boilerplate code linking RESTful actions to Nit methods

module nitsaf

Nit Static Analysis Framework client example.

module nitserial

nitc :: nitserial

Serialization support compiler, a tool to support deserialization of live generic types

module nitsmells

nitc :: nitsmells

module nituml

UML generator in dot format.

module nitunit

nitc :: nitunit

Testing tool.

module nitvm

The Nit virtual machine launcher

module nitweb

Runs a webserver based on nitcorn that render things from model.

module nitx

nitx, a command tool that displays useful data about Nit code

module static

Nitdoc generation framework

module static_base

nitc :: static_base

Base entities shared by all the nitdoc code

module static_cards

nitc :: static_cards

Cards templates for the static documentation

module static_html

nitc :: static_html

Render documentation pages as HTML

module static_index

nitc :: static_index

Manage indexing of Nit model for Nitdoc QuickSearch.

module static_structure

nitc :: static_structure

Composes the pages of the static documentation

module term

module test_astbuilder

nitc :: test_astbuilder

Program used to test the clone method of the astbuilder tool

module test_highlight

nitc :: test_highlight

Program used to test the Nit highlighter

module test_model_index

nitc :: test_model_index

module test_model_visitor

nitc :: test_model_visitor

Example of model_visitor

module test_neo

nitc :: test_neo

Test for neo model saving and loading.

module test_test_phase

nitc :: test_test_phase

Example of simple module that aims to do some specific work on nit programs.

# Check for error in regular expressions from string literals
module regex_phase

private import parser_util
private import literal
import modelize

redef class ToolContext

	# Phase checking for errors in regex
	var regex_phase: Phase = new RegexPhase(self, [literal_phase])
end

private class RegexPhase
	super Phase

	redef fun process_nmodule(nmodule)
	do
		var visitor = new RegexVisitor(toolcontext)
		nmodule.accept_regex_visitor visitor
	end
end

private class RegexVisitor
	super Visitor

	var toolcontext: ToolContext

	redef fun visit(n) do n.accept_regex_visitor(self)
end

redef class ANode
	private fun accept_regex_visitor(v: RegexVisitor) do visit_all v
end

redef class ACallExpr

	redef fun accept_regex_visitor(v)
	do
		var method = n_qid.n_id
		var receiver = n_expr

		# Check only string literals on which `to_re` is called
		if method.text == "to_re" and receiver isa AStringFormExpr then

			# Retrieve regex source
			var re_src = receiver.value

			# Check for errors by compiling it right now
			var re = re_src.to_re
			var error = re.compile
			re.finalize

			if error != null then
				v.toolcontext.error(self.location, "Regex Error: " + error.to_s)
			end
		end
	end
end

src/frontend/regex_phase.nit:15,1--73,3