blob: 4aaf5bbdf3215e34d59b3596fdcdf088d0480331 [file] [log] [blame]
#!/bin/sh
#
# This script is inteded to be invoked from within eclipse
# using the launch configuration genIOOTBreakPoints.launch
# in the same directory.
# Prerequisite:
# You must have the project OTRE within the same workspace.
#
# author: stephan@cs.tu-berlin.de
# Let's identify ourselves:
CWD=`pwd`
PROG=`echo $0 | sed "s|${CWD}/||"`
HEADER="/**********************************************************************
* This file is part of \"Object Teams Development Tooling\"-Software
*
* Copyright 2006, 2010 Fraunhofer Gesellschaft, Munich, Germany,
* for its Fraunhofer Institute for Computer Architecture and Software
* Technology (FIRST), Berlin, Germany and Technical University Berlin,
* Germany.
*
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
* \$Id\$
*
* Please visit http://www.eclipse.org/objectteams for updates and contact.
*
* Contributors:
* Fraunhofer FIRST - Initial API and implementation
* Technical University Berlin - Initial API and implementation
**********************************************************************/
package org.eclipse.objectteams.otdt.debug.core.breakpoints;
/**
* Do not edit: This interface is auto-generated from org/objectteams/Team.java
* using ${PROG}
*
* Purpose: make specific line numbers of Team.java available for the debugger.
*/
public interface IOOTBreakPoints
{"
# INPUT:
OTRE=$1
if [ ! -d ${OTRE} ]; then
echo "Project root of OTRE not found at ${OTRE}".
echo "Perhaps you don't have project OTRE in your workspace?"
exit
fi
TEAM=${OTRE}/src/org/objectteams/Team.java
if [ ! -f ${TEAM} ]; then
echo "Team.java not found at ${TEAM}."
exit
fi
# OUTPUT:
OUT=src/org/eclipse/objectteams/otdt/debug/core/breakpoints/IOOTBreakPoints.java
if [ "$2" != "RUN" ]
then
# fetch stdin from Team.java, write to IOOTBreakPoints.java and restart:
$0 $1 RUN 0<"$TEAM" | tee $OUT
echo ">>>> Please refresh the source folder. <<<<"
exit
else
echo "${HEADER}"
i=0
while read REPLY
do
i=`expr $i + 1`
l=`echo "$REPLY" | sed -e "s/^.*[$]Debug(\(.*\))/\1/"`
if [ "$REPLY" != "$l" ]
then
echo " int LINE_$l = $i;"
fi
done
echo "}"
fi